Index: kernel/generic/src/interrupt/interrupt.c
===================================================================
--- kernel/generic/src/interrupt/interrupt.c	(revision b3b7e14a1e27b36c3c59ce41e9bc3060bdc881fd)
+++ kernel/generic/src/interrupt/interrupt.c	(revision 214ec25cbbfd86e547613a9d32809cef432e810d)
@@ -144,8 +144,8 @@
  *
  */
-static void exc_undef(int n, istate_t *istate)
-{
-	fault_if_from_uspace(istate, "Unhandled exception %d.", n);
-	panic("Unhandled exception %d.", n);
+static void exc_undef(unsigned int n, istate_t *istate)
+{
+	fault_if_from_uspace(istate, "Unhandled exception %u.", n);
+	panic("Unhandled exception %u.", n);
 }