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