VM_REG_GUEST_RSP
tss->tss_esp = GETREG(vcpu, VM_REG_GUEST_RSP);
SETREG(vcpu, VM_REG_GUEST_RSP, tss->tss_esp);
esp = GETREG(vcpu, VM_REG_GUEST_RSP);
SETREG(vcpu, VM_REG_GUEST_RSP, esp);
{ .id = VM_REG_GUEST_RSP, .size = 8 },
error = vm_set_register(vcpu, VM_REG_GUEST_RSP, rsp);
error = vm_get_register(vcpu, VM_REG_GUEST_RSP, &rsp);
VM_REG_GUEST_RSP, /* KDIREG_RSP */
if ((error = vm_set_register(vcpu, VM_REG_GUEST_RSP, zero)) != 0)
VM_REG_GUEST_RSP,
case VM_REG_GUEST_RSP:
case VM_REG_GUEST_RSP:
case VM_REG_GUEST_RSP:
case VM_REG_GUEST_RSP:
VM_REG_GUEST_RSP,
error = vm_get_register(vm, vcpuid, VM_REG_GUEST_RSP, &rsp);
error = vie_update_register(vm, vcpuid, VM_REG_GUEST_RSP, rsp,
} else if (vie->base_register == VM_REG_GUEST_RSP ||
VM_REG_GUEST_RSP,