Index: kernel/generic/include/interrupt.h
===================================================================
--- kernel/generic/include/interrupt.h	(revision b3b7e14a1e27b36c3c59ce41e9bc3060bdc881fd)
+++ kernel/generic/include/interrupt.h	(revision 214ec25cbbfd86e547613a9d32809cef432e810d)
@@ -44,5 +44,5 @@
 #include <stacktrace.h>
 
-typedef void (* iroutine_t)(int, istate_t *);
+typedef void (* iroutine_t)(unsigned int, istate_t *);
 
 typedef struct {