From b6d12e81aa5dffc08d1822fc12400ea6dd902612 Mon Sep 17 00:00:00 2001
From: Philip Homburg <philip@cs.vu.nl>
Date: Fri, 24 Feb 2006 12:55:00 +0000
Subject: [PATCH] Change to some debug code.

---
 servers/is/dmp_kernel.c | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/servers/is/dmp_kernel.c b/servers/is/dmp_kernel.c
index 12ae2aef8..0eafc6ef4 100644
--- 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");
-- 
2.44.0