Lines Matching refs:VCPU_REGS_RSP
600 masked_increment(reg_rmw(ctxt, VCPU_REGS_RSP), stack_mask(ctxt), inc); in rsp_increment()
1306 if (base_reg == VCPU_REGS_RSP || base_reg == VCPU_REGS_RBP) in adjust_modrm_seg()
1416 base_reg == VCPU_REGS_RSP) in decode_modrm()
1935 addr.ea = reg_read(ctxt, VCPU_REGS_RSP) & stack_mask(ctxt); in push()
1954 addr.ea = reg_read(ctxt, VCPU_REGS_RSP) & stack_mask(ctxt); in emulate_pop()
2033 assign_masked(reg_rmw(ctxt, VCPU_REGS_RBP), reg_read(ctxt, VCPU_REGS_RSP), in em_enter()
2035 assign_masked(reg_rmw(ctxt, VCPU_REGS_RSP), in em_enter()
2036 reg_read(ctxt, VCPU_REGS_RSP) - frame_size, in em_enter()
2043 assign_masked(reg_rmw(ctxt, VCPU_REGS_RSP), reg_read(ctxt, VCPU_REGS_RBP), in em_leave()
2082 unsigned long old_esp = reg_read(ctxt, VCPU_REGS_RSP); in em_pusha()
2087 (reg == VCPU_REGS_RSP) ? in em_pusha()
2113 if (reg == VCPU_REGS_RSP) { in em_popa()
2927 *reg_write(ctxt, VCPU_REGS_RSP) = (efer & EFER_LMA) ? msr_data : in em_sysenter()
2990 *reg_write(ctxt, VCPU_REGS_RSP) = rcx; in em_sysexit()
3098 tss->sp = reg_read(ctxt, VCPU_REGS_RSP); in save_state_to_tss16()
3122 *reg_write(ctxt, VCPU_REGS_RSP) = tss->sp; in load_state_from_tss16()
3212 tss->esp = reg_read(ctxt, VCPU_REGS_RSP); in save_state_to_tss32()
3241 *reg_write(ctxt, VCPU_REGS_RSP) = tss->esp; in load_state_from_tss32()