Searched refs:VMCS_LINK_POINTER (Results 1 – 5 of 5) sorted by relevance
54 FIELD64(VMCS_LINK_POINTER, vmcs_link_pointer),
74 EVMCS1_FIELD(VMCS_LINK_POINTER, vmcs_link_pointer,
214 vmcs_write64(VMCS_LINK_POINTER, -1ull); in vmx_disable_shadow_vmcs()2033 vmcs_write64(VMCS_LINK_POINTER, -1ull); in prepare_vmcs02_early_rare()4817 vmcs_write64(VMCS_LINK_POINTER, in set_current_vmptr()
4177 vmcs_write64(VMCS_LINK_POINTER, -1ull); /* 22.3.1.5 */ in vmx_vcpu_setup()
219 VMCS_LINK_POINTER = 0x00002800, enumerator