Lines Matching refs:VCPU_REGS_RSP
563 masked_increment(reg_rmw(ctxt, VCPU_REGS_RSP), stack_mask(ctxt), inc);
1172 if (base_reg == VCPU_REGS_RSP || base_reg == VCPU_REGS_RBP)
1282 base_reg == VCPU_REGS_RSP)
1828 addr.ea = reg_read(ctxt, VCPU_REGS_RSP) & stack_mask(ctxt);
1847 addr.ea = reg_read(ctxt, VCPU_REGS_RSP) & stack_mask(ctxt);
1927 assign_masked(reg_rmw(ctxt, VCPU_REGS_RBP), reg_read(ctxt, VCPU_REGS_RSP),
1929 assign_masked(reg_rmw(ctxt, VCPU_REGS_RSP),
1930 reg_read(ctxt, VCPU_REGS_RSP) - frame_size,
1937 assign_masked(reg_rmw(ctxt, VCPU_REGS_RSP), reg_read(ctxt, VCPU_REGS_RBP),
1976 unsigned long old_esp = reg_read(ctxt, VCPU_REGS_RSP);
1981 (reg == VCPU_REGS_RSP) ?
2007 if (reg == VCPU_REGS_RSP) {
2505 *reg_write(ctxt, VCPU_REGS_RSP) = (efer & EFER_LMA) ? msr_data :
2568 *reg_write(ctxt, VCPU_REGS_RSP) = rcx;
2676 tss->sp = reg_read(ctxt, VCPU_REGS_RSP);
2700 *reg_write(ctxt, VCPU_REGS_RSP) = tss->sp;
2789 tss->esp = reg_read(ctxt, VCPU_REGS_RSP);
2818 *reg_write(ctxt, VCPU_REGS_RSP) = tss->esp;