Searched refs:VMCS_LINK_POINTER (Results 1 – 2 of 2) sorted by relevance
171 VMCS_LINK_POINTER = 0x00002800, enumerator
667 FIELD64(VMCS_LINK_POINTER, vmcs_link_pointer),4635 vmcs_write64(VMCS_LINK_POINTER, -1ull); /* 22.3.1.5 */ in vmx_vcpu_setup()6711 vmcs_write64(VMCS_LINK_POINTER, -1ull); in nested_release_vmcs12()7141 vmcs_write64(VMCS_LINK_POINTER, in handle_vmptrld()9134 vmcs_write64(VMCS_LINK_POINTER, -1ull); in prepare_vmcs02()