Index: kernel/generic/src/interrupt/interrupt.c
===================================================================
--- kernel/generic/src/interrupt/interrupt.c	(revision df4ed852a2d1b242f9bdce0a873009a2cb77cec7)
+++ kernel/generic/src/interrupt/interrupt.c	(revision a671cf0a488bfc62f9e60e752e017c3740b49e6c)
@@ -104,17 +104,31 @@
 static int exc_print_cmd(cmd_arg_t *argv)
 {
-	int i;
+	unsigned int i;
 	char *symbol;
 
 	spinlock_lock(&exctbl_lock);
-	printf("Exc Description Handler\n");
-	for (i=0; i < IVT_ITEMS; i++) {
-		symbol = get_symtab_entry((unative_t)exc_table[i].f);
+	
+	if (sizeof(void *) == 4) {
+		printf("Exc Description  Handler    Symbol\n");
+		printf("--- ------------ ---------- --------\n");
+	} else {
+		printf("Exc Description  Handler            Symbol\n");
+		printf("--- ------------ ------------------ --------\n");
+	}
+	
+	for (i = 0; i < IVT_ITEMS; i++) {
+		symbol = get_symtab_entry((unative_t) exc_table[i].f);
 		if (!symbol)
 			symbol = "not found";
-		printf("%d %s %.*p(%s)\n", i + IVT_FIRST, exc_table[i].name,
-		       sizeof(uintptr_t) * 2, exc_table[i].f,symbol);		
-		if (!((i+1) % 20)) {
-			printf("Press any key to continue.");
+		
+		if (sizeof(void *) == 4)
+			printf("%-3u %-12s %#10zx %s\n", i + IVT_FIRST, exc_table[i].name,
+				exc_table[i].f, symbol);
+		else
+			printf("%-3u %-12s %#18zx %s\n", i + IVT_FIRST, exc_table[i].name,
+				exc_table[i].f, symbol);
+		
+		if (((i + 1) % 20) == 0) {
+			printf(" -- Press any key to continue -- ");
 			spinlock_unlock(&exctbl_lock);
 			getc(stdin);
@@ -123,4 +137,5 @@
 		}
 	}
+	
 	spinlock_unlock(&exctbl_lock);