Searched refs:VMCS_LINK_POINTER (Results 1 – 3 of 3) sorted by relevance
116 #define VMCS_LINK_POINTER 0x00002800 macro
828 vmcs_write(VMCS_LINK_POINTER, ~0); in vmx_vminit()
889 error = vm_get_vmcs_field(vcpu, VMCS_LINK_POINTER, &addr); in get_misc_vmcs()