Lines Matching refs:VCPU_REGS_RSP
583 masked_increment(reg_rmw(ctxt, VCPU_REGS_RSP), stack_mask(ctxt), inc); in rsp_increment()
1158 if (base_reg == VCPU_REGS_RSP || base_reg == VCPU_REGS_RBP) in adjust_modrm_seg()
1268 base_reg == VCPU_REGS_RSP) in decode_modrm()
1784 addr.ea = reg_read(ctxt, VCPU_REGS_RSP) & stack_mask(ctxt); in push()
1803 addr.ea = reg_read(ctxt, VCPU_REGS_RSP) & stack_mask(ctxt); in emulate_pop()
1882 assign_masked(reg_rmw(ctxt, VCPU_REGS_RBP), reg_read(ctxt, VCPU_REGS_RSP), in em_enter()
1884 assign_masked(reg_rmw(ctxt, VCPU_REGS_RSP), in em_enter()
1885 reg_read(ctxt, VCPU_REGS_RSP) - frame_size, in em_enter()
1892 assign_masked(reg_rmw(ctxt, VCPU_REGS_RSP), reg_read(ctxt, VCPU_REGS_RBP), in em_leave()
1931 unsigned long old_esp = reg_read(ctxt, VCPU_REGS_RSP); in em_pusha()
1936 (reg == VCPU_REGS_RSP) ? in em_pusha()
1962 if (reg == VCPU_REGS_RSP) { in em_popa()
2783 *reg_write(ctxt, VCPU_REGS_RSP) = (efer & EFER_LMA) ? msr_data : in em_sysenter()
2845 *reg_write(ctxt, VCPU_REGS_RSP) = rcx; in em_sysexit()
2953 tss->sp = reg_read(ctxt, VCPU_REGS_RSP); in save_state_to_tss16()
2977 *reg_write(ctxt, VCPU_REGS_RSP) = tss->sp; in load_state_from_tss16()
3067 tss->esp = reg_read(ctxt, VCPU_REGS_RSP); in save_state_to_tss32()
3096 *reg_write(ctxt, VCPU_REGS_RSP) = tss->esp; in load_state_from_tss32()