Searched refs:VMCS_LINK_POINTER (Results 1 – 3 of 3) sorted by relevance
163 #define VMCS_LINK_POINTER 0x00002800 macro
426 if ((error = vmwrite(VMCS_LINK_POINTER, ~0)) != 0) in vmcs_init()
971 error = vm_get_vmcs_field(vcpu, VMCS_LINK_POINTER, &addr); in get_misc_vmcs()