Searched refs:GUEST_PML_INDEX (Results 1 – 7 of 7) sorted by relevance
36 SHADOW_FIELD_RW(GUEST_PML_INDEX, guest_pml_index)
24 FIELD(GUEST_PML_INDEX, guest_pml_index),
4900 vmcs_write16(GUEST_PML_INDEX, PML_HEAD_INDEX); in init_vmcs()6349 pml_idx = vmcs_read16(GUEST_PML_INDEX); in vmx_flush_pml_buffer()6378 vmcs_write16(GUEST_PML_INDEX, PML_HEAD_INDEX); in vmx_flush_pml_buffer()
120 case GUEST_PML_INDEX: in init_vmcs_shadow_fields()2323 vmcs_write16(GUEST_PML_INDEX, -1); in prepare_vmcs02_constant_state()
116 GUEST_PML_INDEX = 0x00000812, enumerator
204 GUEST_PML_INDEX = 0x00000812, enumerator
300 vmwrite(GUEST_PML_INDEX, 0); in init_vmcs_guest_state()