VCPU_REGS_RSP
vrunp.vrp_exit->vrs.vrs_gprs[VCPU_REGS_RSP]);
.vrs_gprs[VCPU_REGS_RSP] = 0x800, /* Set our stack in low mem. */
if (vmread(VMCS_GUEST_IA32_RSP, &gprs[VCPU_REGS_RSP]))
gprs[VCPU_REGS_RSP] = vmcb->v_rsp;
if (vmwrite(VMCS_GUEST_IA32_RSP, gprs[VCPU_REGS_RSP]))
vmcb->v_rsp = gprs[VCPU_REGS_RSP];
vmsa->v_rsp = gprs[VCPU_REGS_RSP];
vrs->vrs_gprs[VCPU_REGS_RSP] = (uint64_t)(STACK_PAGE + PAGE_SIZE) - stacksize;
case VCPU_REGS_RSP: return "RSP";
insn->insn_reg = VCPU_REGS_RSP;
addr = vrs->vrs_gprs[VCPU_REGS_RSP];
.vrs_gprs[VCPU_REGS_RSP] = 0x0,
.vrs_gprs[VCPU_REGS_RSP] = 0x0,