Index: kernel/arch/abs32le/include/mm/page.h
===================================================================
--- kernel/arch/abs32le/include/mm/page.h	(revision b3b7e14a1e27b36c3c59ce41e9bc3060bdc881fd)
+++ kernel/arch/abs32le/include/mm/page.h	(revision 214ec25cbbfd86e547613a9d32809cef432e810d)
@@ -170,5 +170,5 @@
 
 extern void page_arch_init(void);
-extern void page_fault(int, istate_t *);
+extern void page_fault(unsigned int, istate_t *);
 
 #endif /* KERNEL */
Index: kernel/arch/abs32le/src/mm/page.c
===================================================================
--- kernel/arch/abs32le/src/mm/page.c	(revision b3b7e14a1e27b36c3c59ce41e9bc3060bdc881fd)
+++ kernel/arch/abs32le/src/mm/page.c	(revision 214ec25cbbfd86e547613a9d32809cef432e810d)
@@ -62,5 +62,5 @@
 }
 
-void page_fault(int n __attribute__((unused)), istate_t *istate)
+void page_fault(unsigned int n __attribute__((unused)), istate_t *istate)
 {
 }
Index: kernel/arch/amd64/include/interrupt.h
===================================================================
--- kernel/arch/amd64/include/interrupt.h	(revision b3b7e14a1e27b36c3c59ce41e9bc3060bdc881fd)
+++ kernel/arch/amd64/include/interrupt.h	(revision 214ec25cbbfd86e547613a9d32809cef432e810d)
@@ -116,6 +116,7 @@
 extern void trap_virtual_enable_irqs(uint16_t irqmask);
 extern void trap_virtual_disable_irqs(uint16_t irqmask);
+
 /* AMD64 - specific page handler */
-extern void ident_page_fault(int n, istate_t *istate);
+extern void ident_page_fault(unsigned int, istate_t *);
 
 #endif
Index: kernel/arch/amd64/include/mm/page.h
===================================================================
--- kernel/arch/amd64/include/mm/page.h	(revision b3b7e14a1e27b36c3c59ce41e9bc3060bdc881fd)
+++ kernel/arch/amd64/include/mm/page.h	(revision 214ec25cbbfd86e547613a9d32809cef432e810d)
@@ -234,5 +234,5 @@
 
 extern void page_arch_init(void);
-extern void page_fault(int n, istate_t *istate);
+extern void page_fault(unsigned int, istate_t *);
 
 #endif /* __ASM__ */
Index: kernel/arch/amd64/src/debugger.c
===================================================================
--- kernel/arch/amd64/src/debugger.c	(revision b3b7e14a1e27b36c3c59ce41e9bc3060bdc881fd)
+++ kernel/arch/amd64/src/debugger.c	(revision 214ec25cbbfd86e547613a9d32809cef432e810d)
@@ -268,5 +268,5 @@
 }
 
-static void debug_exception(int n __attribute__((unused)), istate_t *istate)
+static void debug_exception(unsigned int n __attribute__((unused)), istate_t *istate)
 {
 	/* Set RF to restart the instruction  */
@@ -293,5 +293,5 @@
 
 #ifdef CONFIG_SMP
-static void debug_ipi(int n __attribute__((unused)),
+static void debug_ipi(unsigned int n __attribute__((unused)),
     istate_t *istate __attribute__((unused)))
 {
Index: kernel/arch/amd64/src/interrupt.c
===================================================================
--- kernel/arch/amd64/src/interrupt.c	(revision b3b7e14a1e27b36c3c59ce41e9bc3060bdc881fd)
+++ kernel/arch/amd64/src/interrupt.c	(revision 214ec25cbbfd86e547613a9d32809cef432e810d)
@@ -92,12 +92,12 @@
 }
 
-static void null_interrupt(int n, istate_t *istate)
-{
-	fault_if_from_uspace(istate, "Unserviced interrupt: %d.", n);
+static void null_interrupt(unsigned int n, istate_t *istate)
+{
+	fault_if_from_uspace(istate, "Unserviced interrupt: %u.", n);
 	decode_istate(n, istate);
 	panic("Unserviced interrupt.");
 }
 
-static void de_fault(int n, istate_t *istate)
+static void de_fault(unsigned int n, istate_t *istate)
 {
 	fault_if_from_uspace(istate, "Divide error.");
@@ -109,5 +109,5 @@
  *
  */
-static void gp_fault(int n, istate_t *istate)
+static void gp_fault(unsigned int n, istate_t *istate)
 {
 	if (TASK) {
@@ -134,5 +134,5 @@
 }
 
-static void ss_fault(int n, istate_t *istate)
+static void ss_fault(unsigned int n, istate_t *istate)
 {
 	fault_if_from_uspace(istate, "Stack fault.");
@@ -141,5 +141,5 @@
 }
 
-static void nm_fault(int n, istate_t *istate)
+static void nm_fault(unsigned int n, istate_t *istate)
 {
 #ifdef CONFIG_FPU_LAZY
@@ -152,5 +152,5 @@
 
 #ifdef CONFIG_SMP
-static void tlb_shootdown_ipi(int n, istate_t *istate)
+static void tlb_shootdown_ipi(unsigned int n, istate_t *istate)
 {
 	trap_virtual_eoi();
@@ -162,9 +162,9 @@
  *
  */
-static void irq_interrupt(int n, istate_t *istate)
+static void irq_interrupt(unsigned int n, istate_t *istate)
 {
 	ASSERT(n >= IVT_IRQBASE);
 	
-	int inum = n - IVT_IRQBASE;
+	unsigned int inum = n - IVT_IRQBASE;
 	bool ack = false;
 	ASSERT(inum < IRQ_COUNT);
@@ -189,5 +189,5 @@
 		 */
 #ifdef CONFIG_DEBUG
-		printf("cpu%d: spurious interrupt (inum=%d)\n", CPU->id, inum);
+		printf("cpu%u: spurious interrupt (inum=%u)\n", CPU->id, inum);
 #endif
 	}
Index: kernel/arch/amd64/src/mm/page.c
===================================================================
--- kernel/arch/amd64/src/mm/page.c	(revision b3b7e14a1e27b36c3c59ce41e9bc3060bdc881fd)
+++ kernel/arch/amd64/src/mm/page.c	(revision 214ec25cbbfd86e547613a9d32809cef432e810d)
@@ -129,5 +129,5 @@
  * items.
  */
-void ident_page_fault(int n, istate_t *istate)
+void ident_page_fault(unsigned int n, istate_t *istate)
 {
 	uintptr_t page;
@@ -177,5 +177,5 @@
 
 
-void page_fault(int n, istate_t *istate)
+void page_fault(unsigned int n, istate_t *istate)
 {
 	uintptr_t page;
Index: kernel/arch/arm32/include/mach/integratorcp/integratorcp.h
===================================================================
--- kernel/arch/arm32/include/mach/integratorcp/integratorcp.h	(revision b3b7e14a1e27b36c3c59ce41e9bc3060bdc881fd)
+++ kernel/arch/arm32/include/mach/integratorcp/integratorcp.h	(revision 214ec25cbbfd86e547613a9d32809cef432e810d)
@@ -102,5 +102,5 @@
 extern void icp_timer_irq_start(void);
 extern void icp_cpu_halt(void);
-extern void icp_irq_exception(int exc_no, istate_t *istate);
+extern void icp_irq_exception(unsigned int, istate_t *);
 extern uintptr_t icp_get_memory_size(void);
 extern void icp_frame_init(void);
Index: kernel/arch/arm32/include/mach/testarm/testarm.h
===================================================================
--- kernel/arch/arm32/include/mach/testarm/testarm.h	(revision b3b7e14a1e27b36c3c59ce41e9bc3060bdc881fd)
+++ kernel/arch/arm32/include/mach/testarm/testarm.h	(revision 214ec25cbbfd86e547613a9d32809cef432e810d)
@@ -72,5 +72,5 @@
 extern void gxemul_timer_irq_start(void);
 extern void gxemul_cpu_halt(void);
-extern void gxemul_irq_exception(int exc_no, istate_t *istate);
+extern void gxemul_irq_exception(unsigned int, istate_t *);
 extern uintptr_t gxemul_get_memory_size(void);
 extern void gxemul_frame_init(void);
Index: kernel/arch/arm32/include/machine_func.h
===================================================================
--- kernel/arch/arm32/include/machine_func.h	(revision b3b7e14a1e27b36c3c59ce41e9bc3060bdc881fd)
+++ kernel/arch/arm32/include/machine_func.h	(revision 214ec25cbbfd86e547613a9d32809cef432e810d)
@@ -53,5 +53,5 @@
 	void		(*machine_cpu_halt)(void);
 	uintptr_t	(*machine_get_memory_size)(void);
-	void		(*machine_irq_exception)(int, istate_t*);
+	void		(*machine_irq_exception)(unsigned int, istate_t*);
 	void		(*machine_frame_init)(void);
 	void		(*machine_output_init)(void);
@@ -86,5 +86,5 @@
  * @param istate Saved processor state.
  */
-extern void machine_irq_exception(int exc_no, istate_t *istate);
+extern void machine_irq_exception(unsigned int exc_no, istate_t *istate);
 
 
Index: kernel/arch/arm32/include/mm/page_fault.h
===================================================================
--- kernel/arch/arm32/include/mm/page_fault.h	(revision b3b7e14a1e27b36c3c59ce41e9bc3060bdc881fd)
+++ kernel/arch/arm32/include/mm/page_fault.h	(revision 214ec25cbbfd86e547613a9d32809cef432e810d)
@@ -81,6 +81,6 @@
 } instruction_union_t;
 
-extern void prefetch_abort(int n, istate_t *istate);
-extern void data_abort(int n, istate_t *istate);
+extern void prefetch_abort(unsigned int, istate_t *);
+extern void data_abort(unsigned int, istate_t *);
 
 #endif
Index: kernel/arch/arm32/src/exception.c
===================================================================
--- kernel/arch/arm32/src/exception.c	(revision b3b7e14a1e27b36c3c59ce41e9bc3060bdc881fd)
+++ kernel/arch/arm32/src/exception.c	(revision 214ec25cbbfd86e547613a9d32809cef432e810d)
@@ -91,6 +91,7 @@
  *
  * Dispatches the syscall.
- */
-static void swi_exception(int exc_no, istate_t *istate)
+ *
+ */
+static void swi_exception(unsigned int exc_no, istate_t *istate)
 {
 	istate->r0 = syscall_handler(istate->r0, istate->r1, istate->r2,
@@ -148,5 +149,5 @@
  * Determines the sources of interrupt and calls their handlers.
  */
-static void irq_exception(int exc_no, istate_t *istate)
+static void irq_exception(unsigned int exc_no, istate_t *istate)
 {
 	machine_irq_exception(exc_no, istate);
Index: kernel/arch/arm32/src/mach/integratorcp/integratorcp.c
===================================================================
--- kernel/arch/arm32/src/mach/integratorcp/integratorcp.c	(revision b3b7e14a1e27b36c3c59ce41e9bc3060bdc881fd)
+++ kernel/arch/arm32/src/mach/integratorcp/integratorcp.c	(revision 214ec25cbbfd86e547613a9d32809cef432e810d)
@@ -242,8 +242,8 @@
  * @param istate Saved processor state.
  */
-void icp_irq_exception(int exc_no, istate_t *istate)
+void icp_irq_exception(unsigned int exc_no, istate_t *istate)
 {
 	uint32_t sources = icp_irqc_get_sources();
-	int i;
+	unsigned int i;
 	
 	for (i = 0; i < ICP_IRQC_MAX_IRQ; i++) {
Index: kernel/arch/arm32/src/mach/testarm/testarm.c
===================================================================
--- kernel/arch/arm32/src/mach/testarm/testarm.c	(revision b3b7e14a1e27b36c3c59ce41e9bc3060bdc881fd)
+++ kernel/arch/arm32/src/mach/testarm/testarm.c	(revision 214ec25cbbfd86e547613a9d32809cef432e810d)
@@ -205,5 +205,5 @@
  * Determines the sources of interrupt and calls their handlers.
  */
-void gxemul_irq_exception(int exc_no, istate_t *istate)
+void gxemul_irq_exception(unsigned int exc_no, istate_t *istate)
 {
 	uint32_t sources = gxemul_irqc_get_sources();
Index: kernel/arch/arm32/src/machine_func.c
===================================================================
--- kernel/arch/arm32/src/machine_func.c	(revision b3b7e14a1e27b36c3c59ce41e9bc3060bdc881fd)
+++ kernel/arch/arm32/src/machine_func.c	(revision 214ec25cbbfd86e547613a9d32809cef432e810d)
@@ -76,5 +76,5 @@
  * @param istate Saved processor state.
  */
-void machine_irq_exception(int exc_no, istate_t *istate)
+void machine_irq_exception(unsigned int exc_no, istate_t *istate)
 {
 	(machine_ops.machine_irq_exception)(exc_no, istate);
Index: kernel/arch/arm32/src/mm/page_fault.c
===================================================================
--- kernel/arch/arm32/src/mm/page_fault.c	(revision b3b7e14a1e27b36c3c59ce41e9bc3060bdc881fd)
+++ kernel/arch/arm32/src/mm/page_fault.c	(revision 214ec25cbbfd86e547613a9d32809cef432e810d)
@@ -167,8 +167,9 @@
 /** Handles "data abort" exception (load or store at invalid address).
  *
- * @param exc_no	Exception number.
- * @param istate	CPU state when exception occured.
- */
-void data_abort(int exc_no, istate_t *istate)
+ * @param exc_no Exception number.
+ * @param istate CPU state when exception occured.
+ *
+ */
+void data_abort(unsigned int exc_no, istate_t *istate)
 {
 	fault_status_t fsr __attribute__ ((unused)) =
@@ -193,8 +194,9 @@
 /** Handles "prefetch abort" exception (instruction couldn't be executed).
  *
- * @param exc_no	Exception number.
- * @param istate	CPU state when exception occured.
- */
-void prefetch_abort(int exc_no, istate_t *istate)
+ * @param exc_no Exception number.
+ * @param istate CPU state when exception occured.
+ *
+ */
+void prefetch_abort(unsigned int exc_no, istate_t *istate)
 {
 	int ret = as_page_fault(istate->pc, PF_ACCESS_EXEC, istate);
Index: kernel/arch/ia32/include/mm/page.h
===================================================================
--- kernel/arch/ia32/include/mm/page.h	(revision b3b7e14a1e27b36c3c59ce41e9bc3060bdc881fd)
+++ kernel/arch/ia32/include/mm/page.h	(revision 214ec25cbbfd86e547613a9d32809cef432e810d)
@@ -192,5 +192,5 @@
 
 extern void page_arch_init(void);
-extern void page_fault(int n, istate_t *istate);
+extern void page_fault(unsigned int, istate_t *);
 
 #endif /* __ASM__ */
Index: kernel/arch/ia32/src/drivers/i8259.c
===================================================================
--- kernel/arch/ia32/src/drivers/i8259.c	(revision b3b7e14a1e27b36c3c59ce41e9bc3060bdc881fd)
+++ kernel/arch/ia32/src/drivers/i8259.c	(revision 214ec25cbbfd86e547613a9d32809cef432e810d)
@@ -45,5 +45,5 @@
 #include <interrupt.h>
 
-static void pic_spurious(int n, istate_t *istate);
+static void pic_spurious(unsigned int n, istate_t *istate);
 
 void i8259_init(void)
@@ -125,5 +125,5 @@
 }
 
-void pic_spurious(int n __attribute__((unused)), istate_t *istate __attribute__((unused)))
+void pic_spurious(unsigned int n __attribute__((unused)), istate_t *istate __attribute__((unused)))
 {
 #ifdef CONFIG_DEBUG
Index: kernel/arch/ia32/src/interrupt.c
===================================================================
--- kernel/arch/ia32/src/interrupt.c	(revision b3b7e14a1e27b36c3c59ce41e9bc3060bdc881fd)
+++ kernel/arch/ia32/src/interrupt.c	(revision 214ec25cbbfd86e547613a9d32809cef432e810d)
@@ -91,13 +91,13 @@
 }
 
-static void null_interrupt(int n, istate_t *istate)
-{
-	fault_if_from_uspace(istate, "Unserviced interrupt: %d.", n);
-	
-	decode_istate(istate);
-	panic("Unserviced interrupt: %d.", n);
-}
-
-static void de_fault(int n, istate_t *istate)
+static void null_interrupt(unsigned int n, istate_t *istate)
+{
+	fault_if_from_uspace(istate, "Unserviced interrupt: %u.", n);
+	
+	decode_istate(istate);
+	panic("Unserviced interrupt: %u.", n);
+}
+
+static void de_fault(unsigned int n, istate_t *istate)
 {
 	fault_if_from_uspace(istate, "Divide error.");
@@ -108,5 +108,5 @@
 
 /** General Protection Fault. */
-static void gp_fault(int n __attribute__((unused)), istate_t *istate)
+static void gp_fault(unsigned int n __attribute__((unused)), istate_t *istate)
 {
 	if (TASK) {
@@ -133,5 +133,5 @@
 }
 
-static void ss_fault(int n __attribute__((unused)), istate_t *istate)
+static void ss_fault(unsigned int n __attribute__((unused)), istate_t *istate)
 {
 	fault_if_from_uspace(istate, "Stack fault.");
@@ -141,5 +141,5 @@
 }
 
-static void simd_fp_exception(int n __attribute__((unused)), istate_t *istate)
+static void simd_fp_exception(unsigned int n __attribute__((unused)), istate_t *istate)
 {
 	uint32_t mxcsr;
@@ -157,5 +157,5 @@
 }
 
-static void nm_fault(int n __attribute__((unused)),
+static void nm_fault(unsigned int n __attribute__((unused)),
     istate_t *istate __attribute__((unused)))
 {
@@ -169,5 +169,5 @@
 
 #ifdef CONFIG_SMP
-static void tlb_shootdown_ipi(int n __attribute__((unused)),
+static void tlb_shootdown_ipi(unsigned int n __attribute__((unused)),
     istate_t *istate __attribute__((unused)))
 {
@@ -178,9 +178,9 @@
 
 /** Handler of IRQ exceptions */
-static void irq_interrupt(int n, istate_t *istate __attribute__((unused)))
+static void irq_interrupt(unsigned int n, istate_t *istate __attribute__((unused)))
 {
 	ASSERT(n >= IVT_IRQBASE);
 	
-	int inum = n - IVT_IRQBASE;
+	unsigned int inum = n - IVT_IRQBASE;
 	bool ack = false;
 	ASSERT(inum < IRQ_COUNT);
@@ -205,5 +205,5 @@
 		 */
 #ifdef CONFIG_DEBUG
-		printf("cpu%u: spurious interrupt (inum=%d)\n", CPU->id, inum);
+		printf("cpu%u: spurious interrupt (inum=%u)\n", CPU->id, inum);
 #endif
 	}
Index: kernel/arch/ia32/src/mm/page.c
===================================================================
--- kernel/arch/ia32/src/mm/page.c	(revision b3b7e14a1e27b36c3c59ce41e9bc3060bdc881fd)
+++ kernel/arch/ia32/src/mm/page.c	(revision 214ec25cbbfd86e547613a9d32809cef432e810d)
@@ -98,5 +98,5 @@
 }
 
-void page_fault(int n __attribute__((unused)), istate_t *istate)
+void page_fault(unsigned int n __attribute__((unused)), istate_t *istate)
 {
 	uintptr_t page;
Index: kernel/arch/ia32/src/smp/apic.c
===================================================================
--- kernel/arch/ia32/src/smp/apic.c	(revision b3b7e14a1e27b36c3c59ce41e9bc3060bdc881fd)
+++ kernel/arch/ia32/src/smp/apic.c	(revision 214ec25cbbfd86e547613a9d32809cef432e810d)
@@ -129,5 +129,5 @@
  *
  */
-static void apic_spurious(int n __attribute__((unused)),
+static void apic_spurious(unsigned int n __attribute__((unused)),
     istate_t *istate __attribute__((unused)))
 {
Index: kernel/arch/mips32/src/exception.c
===================================================================
--- kernel/arch/mips32/src/exception.c	(revision b3b7e14a1e27b36c3c59ce41e9bc3060bdc881fd)
+++ kernel/arch/mips32/src/exception.c	(revision 214ec25cbbfd86e547613a9d32809cef432e810d)
@@ -79,5 +79,5 @@
 }
 
-static void unhandled_exception(int n, istate_t *istate)
+static void unhandled_exception(unsigned int n, istate_t *istate)
 {
 	fault_if_from_uspace(istate, "Unhandled exception %s.", exctable[n]);
@@ -87,5 +87,5 @@
 }
 
-static void reserved_instr_exception(int n, istate_t *istate)
+static void reserved_instr_exception(unsigned int n, istate_t *istate)
 {
 	if (*((uint32_t *) istate->epc) == 0x7c03e83b) {
@@ -97,5 +97,5 @@
 }
 
-static void breakpoint_exception(int n, istate_t *istate)
+static void breakpoint_exception(unsigned int n, istate_t *istate)
 {
 #ifdef CONFIG_DEBUG
@@ -109,10 +109,10 @@
 }
 
-static void tlbmod_exception(int n, istate_t *istate)
+static void tlbmod_exception(unsigned int n, istate_t *istate)
 {
 	tlb_modified(istate);
 }
 
-static void tlbinv_exception(int n, istate_t *istate)
+static void tlbinv_exception(unsigned int n, istate_t *istate)
 {
 	tlb_invalid(istate);
@@ -120,5 +120,5 @@
 
 #ifdef CONFIG_FPU_LAZY
-static void cpuns_exception(int n, istate_t *istate)
+static void cpuns_exception(unsigned int n, istate_t *istate)
 {
 	if (cp0_cause_coperr(cp0_cause_read()) == fpu_cop_id)
@@ -131,5 +131,5 @@
 #endif
 
-static void interrupt_exception(int n, istate_t *istate)
+static void interrupt_exception(unsigned int n, istate_t *istate)
 {
 	/* Decode interrupt number and process the interrupt */
@@ -151,5 +151,5 @@
 				 */
 #ifdef CONFIG_DEBUG
-				printf("cpu%u: spurious interrupt (inum=%d)\n",
+				printf("cpu%u: spurious interrupt (inum=%u)\n",
 				    CPU->id, i);
 #endif
@@ -160,5 +160,5 @@
 
 /** Handle syscall userspace call */
-static void syscall_exception(int n, istate_t *istate)
+static void syscall_exception(unsigned int n, istate_t *istate)
 {
 	panic("Syscall is handled through shortcut.");
Index: kernel/arch/sparc64/src/trap/interrupt.c
===================================================================
--- kernel/arch/sparc64/src/trap/interrupt.c	(revision b3b7e14a1e27b36c3c59ce41e9bc3060bdc881fd)
+++ kernel/arch/sparc64/src/trap/interrupt.c	(revision 214ec25cbbfd86e547613a9d32809cef432e810d)
@@ -58,5 +58,6 @@
 void interrupt_register(unsigned int n, const char *name, iroutine_t handler)
 {
-	ASSERT(n >= IVT_FIRST && n <= IVT_ITEMS);
+	ASSERT(n >= IVT_FIRST);
+	ASSERT(n <= IVT_ITEMS);
 	
 	exc_register(n - IVT_FIRST, name, true, handler);
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 {
Index: kernel/generic/src/interrupt/interrupt.c
===================================================================
--- kernel/generic/src/interrupt/interrupt.c	(revision b3b7e14a1e27b36c3c59ce41e9bc3060bdc881fd)
+++ kernel/generic/src/interrupt/interrupt.c	(revision 214ec25cbbfd86e547613a9d32809cef432e810d)
@@ -144,8 +144,8 @@
  *
  */
-static void exc_undef(int n, istate_t *istate)
-{
-	fault_if_from_uspace(istate, "Unhandled exception %d.", n);
-	panic("Unhandled exception %d.", n);
+static void exc_undef(unsigned int n, istate_t *istate)
+{
+	fault_if_from_uspace(istate, "Unhandled exception %u.", n);
+	panic("Unhandled exception %u.", n);
 }