Index: generic/src/interrupt/interrupt.c
===================================================================
--- generic/src/interrupt/interrupt.c	(revision 280a27e37f59414f14a49f3d48620945ee8580e0)
+++ generic/src/interrupt/interrupt.c	(revision ed6c81f1a628519bf950ef109b470039d9853967)
@@ -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.");