Index: kernel/arch/ppc32/include/interrupt.h
===================================================================
--- kernel/arch/ppc32/include/interrupt.h	(revision b8230b99f42baed609487cfaa5737fbb11968cc0)
+++ kernel/arch/ppc32/include/interrupt.h	(revision d0c82c531ddd91c5c32e571f69768c044cf234b2)
@@ -48,5 +48,5 @@
 extern void start_decrementer(void);
 extern void interrupt_init(void);
-extern void extint_handler(int, istate_t *);
+extern void extint_handler(unsigned int, istate_t *);
 
 #endif