Searched refs:VMCS_HOST_RSP (Results 1 – 3 of 3) sorted by relevance
276 #define VMCS_HOST_RSP 0x00006C14 macro
1025 error += vmwrite(VMCS_HOST_RSP, (u_long)&vmx->ctx[i]); in vmx_vminit()
1180 error = vm_get_vmcs_field(ctx, vcpu, VMCS_HOST_RSP, &rsp); in get_misc_vmcs()