Index: arch/amd64/src/asm_utils.S
===================================================================
--- arch/amd64/src/asm_utils.S	(revision 263104be73a8ecd461f88defac229c671bd463fe)
+++ arch/amd64/src/asm_utils.S	(revision 036991116da84e89f7cdc04f421f69aa3640c138)
@@ -188,5 +188,5 @@
 	
 	popq %rbp;
-	add $8,%esp;    # Skip error word
+	addq $8,%rsp;    # Skip error word
 	iretq