Index: kernel/arch/ia32/src/interrupt.c
===================================================================
--- kernel/arch/ia32/src/interrupt.c	(revision 33f86a3f832f902f56ec98dab6a41d9841df0947)
+++ kernel/arch/ia32/src/interrupt.c	(revision 1c95fd07977aa8fc9d973a9da5ec68433a5c67c4)
@@ -88,5 +88,5 @@
 	    istate->esi, istate->edi, istate->ebp,
 	    istate_from_uspace(istate) ? istate->esp :
-	    (uintptr_t) &istate->esp);
+	    (uint32_t) &istate->esp);
 }