Lines Matching refs:VCPU_REGS_RSP
566 masked_increment(reg_rmw(ctxt, VCPU_REGS_RSP), stack_mask(ctxt), inc); in rsp_increment()
1176 if (base_reg == VCPU_REGS_RSP || base_reg == VCPU_REGS_RBP) in adjust_modrm_seg()
1286 base_reg == VCPU_REGS_RSP) in decode_modrm()
1833 addr.ea = reg_read(ctxt, VCPU_REGS_RSP) & stack_mask(ctxt); in emulate_push()
1852 addr.ea = reg_read(ctxt, VCPU_REGS_RSP) & stack_mask(ctxt); in emulate_pop()
1932 assign_masked(reg_rmw(ctxt, VCPU_REGS_RBP), reg_read(ctxt, VCPU_REGS_RSP), in em_enter()
1934 assign_masked(reg_rmw(ctxt, VCPU_REGS_RSP), in em_enter()
1935 reg_read(ctxt, VCPU_REGS_RSP) - frame_size, in em_enter()
1942 assign_masked(reg_rmw(ctxt, VCPU_REGS_RSP), reg_read(ctxt, VCPU_REGS_RBP), in em_leave()
1981 unsigned long old_esp = reg_read(ctxt, VCPU_REGS_RSP); in em_pusha()
1986 (reg == VCPU_REGS_RSP) ? in em_pusha()
2012 if (reg == VCPU_REGS_RSP) { in em_popa()
2474 *reg_write(ctxt, VCPU_REGS_RSP) = (efer & EFER_LMA) ? msr_data : in em_sysenter()
2537 *reg_write(ctxt, VCPU_REGS_RSP) = rcx; in em_sysexit()
2652 tss->sp = reg_read(ctxt, VCPU_REGS_RSP); in save_state_to_tss16()
2676 *reg_write(ctxt, VCPU_REGS_RSP) = tss->sp; in load_state_from_tss16()
2765 tss->esp = reg_read(ctxt, VCPU_REGS_RSP); in save_state_to_tss32()
2794 *reg_write(ctxt, VCPU_REGS_RSP) = tss->esp; in load_state_from_tss32()