Searched refs:GUEST_PML_INDEX (Results 1 – 4 of 4) sorted by relevance
116 GUEST_PML_INDEX = 0x00000812, enumerator
311 vmwrite(GUEST_PML_INDEX, 0); in init_vmcs_guest_state()
4963 vmcs_write16(GUEST_PML_INDEX, PML_HEAD_INDEX); in __vmx_vcpu_reset() 6425 pml_idx = vmcs_read16(GUEST_PML_INDEX); in vmx_flush_pml_buffer() 6454 vmcs_write16(GUEST_PML_INDEX, PML_HEAD_INDEX); in vmx_dump_sel()
127 case GUEST_PML_INDEX: in init_vmcs_shadow_fields() 2348 vmcs_write16(GUEST_PML_INDEX, -1); in prepare_vmcs02_early_rare()