diff --git a/src/arch/x86/isa/insts/general_purpose/control_transfer/xreturn.py b/src/arch/x86/isa/insts/general_purpose/control_transfer/xreturn.py
--- a/src/arch/x86/isa/insts/general_purpose/control_transfer/xreturn.py
+++ b/src/arch/x86/isa/insts/general_purpose/control_transfer/xreturn.py
@@ -69,6 +69,10 @@
     # Get the return CS
     ld t2, ss, [1, t0, rsp], ssz
 
+    # increment the stack pointer
+    addi rsp, rsp, dsz
+    addi rsp, rsp, dsz
+
     # Get the rpl
     andi t3, t2, 0x3