Index: kernel/arch/ia32/src/interrupt.c
===================================================================
--- kernel/arch/ia32/src/interrupt.c	(revision 013e5d32c9af4ea5eff1d29e41946a398895b296)
+++ kernel/arch/ia32/src/interrupt.c	(revision b752a317bb5dfb454cb227f59a1be5d52d10947d)
@@ -85,5 +85,5 @@
 
 	printf("esi=%0#10" PRIx32 "\tedi=%0#10" PRIx32 "\t"
-	    "ebp=%0#10" PRIx32 "\tesp=%0#10" PRIxn "\n",
+	    "ebp=%0#10" PRIx32 "\tesp=%0#10" PRIx32 "\n",
 	    istate->esi, istate->edi, istate->ebp,
 	    istate_from_uspace(istate) ? istate->esp :