|
@@ -1389,14 +1389,11 @@ special_insn:
|
|
|
break;
|
|
|
case 0x58 ... 0x5f: /* pop reg */
|
|
|
pop_instruction:
|
|
|
- if ((rc = ops->read_std(register_address(c, ss_base(ctxt),
|
|
|
- c->regs[VCPU_REGS_RSP]), c->dst.ptr,
|
|
|
- c->op_bytes, ctxt->vcpu)) != 0)
|
|
|
+ c->src.bytes = c->op_bytes;
|
|
|
+ rc = emulate_pop(ctxt, ops);
|
|
|
+ if (rc != 0)
|
|
|
goto done;
|
|
|
-
|
|
|
- register_address_increment(c, &c->regs[VCPU_REGS_RSP],
|
|
|
- c->op_bytes);
|
|
|
- c->dst.type = OP_NONE; /* Disable writeback. */
|
|
|
+ c->dst.val = c->src.val;
|
|
|
break;
|
|
|
case 0x63: /* movsxd */
|
|
|
if (ctxt->mode != X86EMUL_MODE_PROT64)
|