Change to some debug code.

diff --git a/servers/is/dmp_kernel.c b/servers/is/dmp_kernel.c
index 12ae2aef88500bb5f0cecbacc30561fa15ef6f24..0eafc6ef484dfa40b7de81709fb3bdbfd85a45e7 100644 (file)
--- a/servers/is/dmp_kernel.c
+++ b/servers/is/dmp_kernel.c
@@ -164,8 +164,10 @@ PUBLIC void irqtab_dmp()
   }
 
 #if 0
+  printf("irq_actids:");
   for (i= 0; i<NR_IRQ_VECTORS; i++)
-       printf("irq_actids[%d] = 0x%08x\n", i, irq_actids[i]);
+       printf(" [%d] = 0x%08x", i, irq_actids[i]);
+  printf("\n");
 #endif
 
   printf("IRQ policies dump shows use of kernel's IRQ hooks.\n");