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)))
 {