From: Philip Homburg <philip@cs.vu.nl>
Date: Fri, 24 Feb 2006 12:55:00 +0000 (+0000)
Subject: Change to some debug code.
X-Git-Tag: v3.1.2a~320
X-Git-Url: http://zhaoyanbai.com/repos/man.dnssec-coverage.html?a=commitdiff_plain;h=b6d12e81aa5dffc08d1822fc12400ea6dd902612;p=minix.git

Change to some debug code.
---

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");