Index: kernel/generic/src/interrupt/interrupt.c
===================================================================
--- kernel/generic/src/interrupt/interrupt.c	(revision 6c441cf8f35799043d891a3a77032e1b0e49112b)
+++ kernel/generic/src/interrupt/interrupt.c	(revision 2b8b0ca53be5cc20f005c530d297aade8f24ad53)
@@ -109,12 +109,14 @@
 
 	spinlock_lock(&exctbl_lock);
-	
-	if (sizeof(void *) == 4) {
-		printf("Exc Description          Handler    Symbol\n");
-		printf("--- -------------------- ---------- --------\n");
-	} else {
-		printf("Exc Description          Handler            Symbol\n");
-		printf("--- -------------------- ------------------ --------\n");
-	}
+
+#ifdef __32_BITS__
+	printf("Exc Description          Handler    Symbol\n");
+	printf("--- -------------------- ---------- --------\n");
+#endif
+
+#ifdef __64_BITS__
+	printf("Exc Description          Handler            Symbol\n");
+	printf("--- -------------------- ------------------ --------\n");
+#endif
 	
 	for (i = 0; i < IVT_ITEMS; i++) {
@@ -122,11 +124,14 @@
 		if (!symbol)
 			symbol = "not found";
-		
-		if (sizeof(void *) == 4)
-			printf("%-3u %-20s %#10zx %s\n", i + IVT_FIRST, exc_table[i].name,
-				exc_table[i].f, symbol);
-		else
-			printf("%-3u %-20s %#18zx %s\n", i + IVT_FIRST, exc_table[i].name,
-				exc_table[i].f, symbol);
+
+#ifdef __32_BITS__
+		printf("%-3u %-20s %10p %s\n", i + IVT_FIRST, exc_table[i].name,
+			exc_table[i].f, symbol);
+#endif
+
+#ifdef __64_BITS__
+		printf("%-3u %-20s %18p %s\n", i + IVT_FIRST, exc_table[i].name,
+			exc_table[i].f, symbol);
+#endif
 		
 		if (((i + 1) % 20) == 0) {
@@ -159,5 +164,5 @@
 	int i;
 
-	for (i=0;i < IVT_ITEMS; i++)
+	for (i = 0; i < IVT_ITEMS; i++)
 		exc_register(i, "undef", (iroutine) exc_undef);