Lines Matching refs:VCPU_REGS_RSP
563 masked_increment(reg_rmw(ctxt, VCPU_REGS_RSP), stack_mask(ctxt), inc); in rsp_increment()
1171 if (base_reg == VCPU_REGS_RSP || base_reg == VCPU_REGS_RBP) in adjust_modrm_seg()
1281 base_reg == VCPU_REGS_RSP) in decode_modrm()
1821 addr.ea = reg_read(ctxt, VCPU_REGS_RSP) & stack_mask(ctxt); in push()
1840 addr.ea = reg_read(ctxt, VCPU_REGS_RSP) & stack_mask(ctxt); in emulate_pop()
1919 assign_masked(reg_rmw(ctxt, VCPU_REGS_RBP), reg_read(ctxt, VCPU_REGS_RSP), in em_enter()
1921 assign_masked(reg_rmw(ctxt, VCPU_REGS_RSP), in em_enter()
1922 reg_read(ctxt, VCPU_REGS_RSP) - frame_size, in em_enter()
1929 assign_masked(reg_rmw(ctxt, VCPU_REGS_RSP), reg_read(ctxt, VCPU_REGS_RBP), in em_leave()
1968 unsigned long old_esp = reg_read(ctxt, VCPU_REGS_RSP); in em_pusha()
1973 (reg == VCPU_REGS_RSP) ? in em_pusha()
1999 if (reg == VCPU_REGS_RSP) { in em_popa()
2496 *reg_write(ctxt, VCPU_REGS_RSP) = (efer & EFER_LMA) ? msr_data : in em_sysenter()
2559 *reg_write(ctxt, VCPU_REGS_RSP) = rcx; in em_sysexit()
2667 tss->sp = reg_read(ctxt, VCPU_REGS_RSP); in save_state_to_tss16()
2691 *reg_write(ctxt, VCPU_REGS_RSP) = tss->sp; in load_state_from_tss16()
2780 tss->esp = reg_read(ctxt, VCPU_REGS_RSP); in save_state_to_tss32()
2809 *reg_write(ctxt, VCPU_REGS_RSP) = tss->esp; in load_state_from_tss32()