Changes in kernel/arch/ia32/src/interrupt.c [33f86a3:35ebd42] in mainline

File:

• kernel/arch/ia32/src/interrupt.c (modified) (1 diff)

kernel/arch/ia32/src/interrupt.c

@@ -88 +88 @@
             istate->esi, istate->edi, istate->ebp,
             istate_from_uspace(istate) ? istate->esp :
-            (uintptr_t) &istate->esp);
+            (uint32_t) &istate->esp);
 }