From 7f98ba962afc4c27510f0fefc8d7d544a1477d43 Mon Sep 17 00:00:00 2001
From: David van Moolenbroek <david@minix3.org>
Date: Wed, 26 May 2010 08:44:50 +0000
Subject: [PATCH] make IS report masked IRQs properly

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

diff --git a/servers/is/dmp_kernel.c b/servers/is/dmp_kernel.c
index f367cbeec..962f650ae 100644
--- a/servers/is/dmp_kernel.c
+++ b/servers/is/dmp_kernel.c
@@ -176,7 +176,7 @@ PUBLIC void irqtab_dmp()
 #endif
 
   printf("IRQ policies dump shows use of kernel's IRQ hooks.\n");
-  printf("-h.id- -proc.nr- -irq nr- -policy- -notify id-\n");
+  printf("-h.id- -proc.nr- -irq nr- -policy- -notify id- -masked-\n");
   for (i=0; i<NR_IRQ_HOOKS; i++) {
   	e = &irq_hooks[i];
   	printf("%3d", i);
@@ -187,9 +187,9 @@ PUBLIC void irqtab_dmp()
   	printf("%10d  ", e->proc_nr_e); 
   	printf("    (%02d) ", e->irq); 
   	printf("  %s", (e->policy & IRQ_REENABLE) ? "reenable" : "    -   ");
-  	printf("   %d", e->notify_id);
-	if (irq_actids[e->irq] & (1 << i))
-		printf("masked");
+  	printf("   %4d", e->notify_id);
+	if (irq_actids[e->irq] & e->id)
+		printf("       masked");
 	printf("\n");
   }
   printf("\n");
-- 
2.44.0