Index: kernel/arch/ppc32/include/interrupt.h
===================================================================
--- kernel/arch/ppc32/include/interrupt.h	(revision 3193c0558f847619377280b6f87fde226e0479e1)
+++ kernel/arch/ppc32/include/interrupt.h	(revision 538780736253a52c38332ffe3f75d60f64190f4e)
@@ -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 3193c0558f847619377280b6f87fde226e0479e1)
+++ kernel/arch/ppc32/include/mm/tlb.h	(revision 538780736253a52c38332ffe3f75d60f64190f4e)
@@ -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
Index: kernel/arch/ppc32/src/interrupt.c
===================================================================
--- kernel/arch/ppc32/src/interrupt.c	(revision 3193c0558f847619377280b6f87fde226e0479e1)
+++ kernel/arch/ppc32/src/interrupt.c	(revision 538780736253a52c38332ffe3f75d60f64190f4e)
@@ -55,5 +55,5 @@
  *
  */
-static void exception_external(int n, istate_t *istate)
+static void exception_external(unsigned int n, istate_t *istate)
 {
 	uint8_t inum;
@@ -92,5 +92,5 @@
 }
 
-static void exception_decrementer(int n, istate_t *istate)
+static void exception_decrementer(unsigned int n, istate_t *istate)
 {
 	start_decrementer();
Index: kernel/arch/ppc32/src/mm/tlb.c
===================================================================
--- kernel/arch/ppc32/src/mm/tlb.c	(revision 3193c0558f847619377280b6f87fde226e0479e1)
+++ kernel/arch/ppc32/src/mm/tlb.c	(revision 538780736253a52c38332ffe3f75d60f64190f4e)
@@ -209,5 +209,5 @@
  *
  */
-void pht_refill(int n, istate_t *istate)
+void pht_refill(unsigned int n, istate_t *istate)
 {
 	as_t *as = (AS == NULL) ? AS_KERNEL : AS;
@@ -260,5 +260,5 @@
  *
  */
-bool pht_refill_real(int n, istate_t *istate)
+bool pht_refill_real(unsigned int n, istate_t *istate)
 {
 	uintptr_t badvaddr;
@@ -366,5 +366,6 @@
  *
  */
-void tlb_refill_real(int n, uint32_t tlbmiss, ptehi_t ptehi, ptelo_t ptelo, istate_t *istate)
+void tlb_refill_real(unsigned int n, uint32_t tlbmiss, ptehi_t ptehi,
+    ptelo_t ptelo, istate_t *istate)
 {
 	uint32_t badvaddr = tlbmiss & 0xfffffffc;
Index: kernel/arch/sparc64/include/drivers/tick.h
===================================================================
--- kernel/arch/sparc64/include/drivers/tick.h	(revision 3193c0558f847619377280b6f87fde226e0479e1)
+++ kernel/arch/sparc64/include/drivers/tick.h	(revision 538780736253a52c38332ffe3f75d60f64190f4e)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup sparc64	
+/** @addtogroup sparc64
  * @{
  */
@@ -40,8 +40,8 @@
 
 /* mask of the "counter" field of the Tick register */
-#define TICK_COUNTER_MASK	(~(1l << 63))
+#define TICK_COUNTER_MASK  (~(1l << 63))
 
 extern void tick_init(void);
-extern void tick_interrupt(int n, istate_t *istate);
+extern void tick_interrupt(unsigned int, istate_t *);
 
 /**
Index: kernel/arch/sparc64/src/drivers/tick.c
===================================================================
--- kernel/arch/sparc64/src/drivers/tick.c	(revision 3193c0558f847619377280b6f87fde226e0479e1)
+++ kernel/arch/sparc64/src/drivers/tick.c	(revision 538780736253a52c38332ffe3f75d60f64190f4e)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup sparc64	
+/** @addtogroup sparc64
  * @{
  */
@@ -77,8 +77,9 @@
 /** Process tick interrupt.
  *
- * @param n Interrupt Level, 14,  (can be ignored)
+ * @param n      Interrupt Level (14, can be ignored)
  * @param istate Interrupted state.
+ *
  */
-void tick_interrupt(int n, istate_t *istate)
+void tick_interrupt(unsigned int n, istate_t *istate)
 {
 	softint_reg_t softint, clear;