Searched refs:VMCS_LINK_POINTER (Results 1 – 2 of 2) sorted by relevance
175 VMCS_LINK_POINTER = 0x00002800, enumerator
737 FIELD64(VMCS_LINK_POINTER, vmcs_link_pointer),5020 vmcs_write64(VMCS_LINK_POINTER, -1ull); /* 22.3.1.5 */ in vmx_vcpu_setup()6968 vmcs_write64(VMCS_LINK_POINTER, -1ull); in nested_release_vmcs12()7387 vmcs_write64(VMCS_LINK_POINTER, in handle_vmptrld()9728 vmcs_write64(VMCS_LINK_POINTER, -1ull); in prepare_vmcs02()