diff options
Diffstat (limited to 'xen/arch/x86/irq.c')
-rw-r--r-- | xen/arch/x86/irq.c | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/xen/arch/x86/irq.c b/xen/arch/x86/irq.c index 4ac1d62dff..d81d8749a6 100644 --- a/xen/arch/x86/irq.c +++ b/xen/arch/x86/irq.c @@ -313,6 +313,8 @@ int pirq_guest_unbind(struct domain *d, int irq) return 0; } +extern void dump_ioapic_irq_info(void); + static void dump_irqs(unsigned char key) { int i, irq, vector; @@ -321,6 +323,8 @@ static void dump_irqs(unsigned char key) struct domain *d; unsigned long flags; + printk("Guest interrupt information:\n"); + for ( irq = 0; irq < NR_IRQS; irq++ ) { vector = irq_to_vector(irq); @@ -335,7 +339,7 @@ static void dump_irqs(unsigned char key) { action = (irq_guest_action_t *)desc->action; - printk("IRQ%3d Vec%3d: type=%-15s status=%08x " + printk(" IRQ%3d Vec%3d: type=%-15s status=%08x " "in-flight=%d domain-list=", irq, vector, desc->handler->typename, desc->status, action->in_flight); @@ -366,6 +370,8 @@ static void dump_irqs(unsigned char key) spin_unlock_irqrestore(&desc->lock, flags); } + + dump_ioapic_irq_info(); } static int __init setup_dump_irqs(void) |