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