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;