Index: generic/src/interrupt/interrupt.c
===================================================================
--- generic/src/interrupt/interrupt.c	(revision 7ae44435719a45d52472fa45638d0a67fd5cf700)
+++ generic/src/interrupt/interrupt.c	(revision feb591542e4fa58338e860762452d6177fd96176)
@@ -75,5 +75,5 @@
 	ASSERT(n < IVT_ITEMS);
 	
-	exc_table[n].f(n, stack);
+	exc_table[n].f(n + IVT_FIRST, stack);
 }
 
@@ -84,5 +84,5 @@
 }
 
-/** KConsole cmd - print all exceptions */
+/** kconsole cmd - print all exceptions */
 static int exc_print_cmd(cmd_arg_t *argv)
 {
@@ -96,5 +96,5 @@
 		if (!symbol)
 			symbol = "not found";
-		printf("%d %s 0x%p(%s)\n",i,exc_table[i].name,
+		printf("%d %s 0x%p(%s)\n", i + IVT_FIRST, exc_table[i].name,
 		       exc_table[i].f,symbol);		
 		if (!((i+1) % 20)) {