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