Index: kernel/arch/ppc32/include/interrupt.h
===================================================================
--- kernel/arch/ppc32/include/interrupt.h	(revision da1bafb8cf9a3b3be8ef21bc114daaa476a85190)
+++ kernel/arch/ppc32/include/interrupt.h	(revision 851f33aff2fffc3d825f1b8b525fdf9ad2b9cb53)
@@ -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
Index: kernel/arch/ppc32/include/mm/tlb.h
===================================================================
--- kernel/arch/ppc32/include/mm/tlb.h	(revision da1bafb8cf9a3b3be8ef21bc114daaa476a85190)
+++ kernel/arch/ppc32/include/mm/tlb.h	(revision 851f33aff2fffc3d825f1b8b525fdf9ad2b9cb53)
@@ -76,10 +76,10 @@
 
 extern void pht_init(void);
-extern void pht_refill(int, istate_t *);
+extern void pht_refill(unsigned int, istate_t *);
 
-extern bool pht_refill_real(int, istate_t *)
+extern bool pht_refill_real(unsigned int, istate_t *)
     __attribute__ ((section("K_UNMAPPED_TEXT_START")));
-extern void tlb_refill_real(int, uint32_t, ptehi_t, ptelo_t, istate_t *)
-    __attribute__ ((section("K_UNMAPPED_TEXT_START")));
+extern void tlb_refill_real(unsigned int, uint32_t, ptehi_t, ptelo_t,
+    istate_t *) __attribute__ ((section("K_UNMAPPED_TEXT_START")));
 
 #endif