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),208 case GUEST_PML_INDEX: in cpu_has_vmcs12_field()
5030 vmcs_write16(GUEST_PML_INDEX, PML_HEAD_INDEX); in init_vmcs()6509 pml_idx = vmcs_read16(GUEST_PML_INDEX); in vmx_flush_pml_buffer()6538 vmcs_write16(GUEST_PML_INDEX, PML_HEAD_INDEX); in vmx_flush_pml_buffer()
127 case GUEST_PML_INDEX: in init_vmcs_shadow_fields()2319 vmcs_write16(GUEST_PML_INDEX, -1); in prepare_vmcs02_constant_state()
116 GUEST_PML_INDEX = 0x00000812, enumerator
311 vmwrite(GUEST_PML_INDEX, 0); in init_vmcs_guest_state()
205 GUEST_PML_INDEX = 0x00000812, enumerator