Lines Matching refs:VCPU_REGS_RSP
534 masked_increment(reg_rmw(ctxt, VCPU_REGS_RSP), stack_mask(ctxt), inc); in rsp_increment()
1153 if (base_reg == VCPU_REGS_RSP || base_reg == VCPU_REGS_RBP) in adjust_modrm_seg()
1263 base_reg == VCPU_REGS_RSP) in decode_modrm()
1755 addr.ea = reg_read(ctxt, VCPU_REGS_RSP) & stack_mask(ctxt); in push()
1774 addr.ea = reg_read(ctxt, VCPU_REGS_RSP) & stack_mask(ctxt); in emulate_pop()
1853 assign_masked(reg_rmw(ctxt, VCPU_REGS_RBP), reg_read(ctxt, VCPU_REGS_RSP), in em_enter()
1855 assign_masked(reg_rmw(ctxt, VCPU_REGS_RSP), in em_enter()
1856 reg_read(ctxt, VCPU_REGS_RSP) - frame_size, in em_enter()
1863 assign_masked(reg_rmw(ctxt, VCPU_REGS_RSP), reg_read(ctxt, VCPU_REGS_RBP), in em_leave()
1902 unsigned long old_esp = reg_read(ctxt, VCPU_REGS_RSP); in em_pusha()
1907 (reg == VCPU_REGS_RSP) ? in em_pusha()
1933 if (reg == VCPU_REGS_RSP) { in em_popa()
2726 *reg_write(ctxt, VCPU_REGS_RSP) = (efer & EFER_LMA) ? msr_data : in em_sysenter()
2786 *reg_write(ctxt, VCPU_REGS_RSP) = rcx; in em_sysexit()
2883 tss->sp = reg_read(ctxt, VCPU_REGS_RSP); in save_state_to_tss16()
2907 *reg_write(ctxt, VCPU_REGS_RSP) = tss->sp; in load_state_from_tss16()
3002 tss->esp = reg_read(ctxt, VCPU_REGS_RSP); in save_state_to_tss32()
3031 *reg_write(ctxt, VCPU_REGS_RSP) = tss->esp; in load_state_from_tss32()