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