Index: generic/src/interrupt/interrupt.c
===================================================================
--- generic/src/interrupt/interrupt.c	(revision 280a27e37f59414f14a49f3d48620945ee8580e0)
+++ generic/src/interrupt/interrupt.c	(revision 7f0837cc107de409715135bd7cdfd7724b6e37a9)
@@ -97,6 +97,6 @@
 		if (!symbol)
 			symbol = "not found";
-		printf("%d %s %p(%s)\n", i + IVT_FIRST, exc_table[i].name,
-		       exc_table[i].f,symbol);		
+		printf("%d %s %.*p(%s)\n", i + IVT_FIRST, exc_table[i].name,
+		       sizeof(__address) * 2, exc_table[i].f,symbol);		
 		if (!((i+1) % 20)) {
 			printf("Press any key to continue.");