From: David van Moolenbroek Date: Wed, 26 May 2010 08:44:50 +0000 (+0000) Subject: make IS report masked IRQs properly X-Git-Tag: v3.1.7~33 X-Git-Url: http://zhaoyanbai.com/repos/?a=commitdiff_plain;h=7f98ba962afc4c27510f0fefc8d7d544a1477d43;p=minix.git make IS report masked IRQs properly --- 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; iproc_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");