From 0063dbabdd946c72d49d1cd861de878f4ef57f65 Mon Sep 17 00:00:00 2001 From: Daniel De Graaf Date: Thu, 2 Feb 2012 15:17:11 +0000 Subject: xsm: Add security label to IRQ debug output Signed-off-by: Daniel De Graaf Committed-by: Keir Fraser --- xen/arch/x86/irq.c | 8 ++++++++ 1 file changed, 8 insertions(+) (limited to 'xen/arch/x86/irq.c') diff --git a/xen/arch/x86/irq.c b/xen/arch/x86/irq.c index 058f89df14..6d17ec018f 100644 --- a/xen/arch/x86/irq.c +++ b/xen/arch/x86/irq.c @@ -2001,6 +2001,7 @@ static void dump_irqs(unsigned char key) struct domain *d; const struct pirq *info; unsigned long flags; + char *ssid; printk("Guest interrupt information:\n"); @@ -2012,6 +2013,8 @@ static void dump_irqs(unsigned char key) if ( !irq_desc_initialized(desc) || desc->handler == &no_irq_type ) continue; + ssid = xsm_show_irq_sid(irq); + spin_lock_irqsave(&desc->lock, flags); cpumask_scnprintf(keyhandler_scratch, sizeof(keyhandler_scratch), @@ -2021,6 +2024,9 @@ static void dump_irqs(unsigned char key) irq, keyhandler_scratch, desc->arch.vector, desc->handler->typename, desc->status); + if ( ssid ) + printk("Z=%-25s ", ssid); + if ( !(desc->status & IRQ_GUEST) ) printk("mapped, unbound\n"); else @@ -2053,6 +2059,8 @@ static void dump_irqs(unsigned char key) } spin_unlock_irqrestore(&desc->lock, flags); + + xfree(ssid); } dump_ioapic_irq_info(); -- cgit v1.2.3