Searched refs:VMCS_LINK_POINTER (Results 1 – 2 of 2) sorted by relevance
175 VMCS_LINK_POINTER = 0x00002800, enumerator
722 FIELD64(VMCS_LINK_POINTER, vmcs_link_pointer),4787 vmcs_write64(VMCS_LINK_POINTER, -1ull); /* 22.3.1.5 */ in vmx_vcpu_setup()6849 vmcs_write64(VMCS_LINK_POINTER, -1ull); in nested_release_vmcs12()7278 vmcs_write64(VMCS_LINK_POINTER, in handle_vmptrld()9534 vmcs_write64(VMCS_LINK_POINTER, -1ull); in prepare_vmcs02()