Index: generic/src/interrupt/interrupt.c
===================================================================
--- generic/src/interrupt/interrupt.c	(revision 25d77096d63abbb97d50a9cafaf9e3e5379a6f5d)
+++ generic/src/interrupt/interrupt.c	(revision 613bc54e40bd66aec3da7e1b368afbcd6e8c6453)
@@ -97,5 +97,5 @@
 		if (!symbol)
 			symbol = "not found";
-		printf("%d %s 0x%p(%s)\n", i + IVT_FIRST, exc_table[i].name,
+		printf("%d %s %p(%s)\n", i + IVT_FIRST, exc_table[i].name,
 		       exc_table[i].f,symbol);		
 		if (!((i+1) % 20)) {