x86/irq: print direct vector mappings in the 'i' debug key

Also adjust the initial print message, as the IRQ loop has contained
non-guest interrutps for a while now.

Signed-off-by: Andrew Cooper <andrew.cooper3@citrix.com>

diff --git a/xen/arch/x86/irq.c b/xen/arch/x86/irq.c
index 53fe9e32de24c0231090cf9cc31d55a11ed0ef21..a984bdac4e2552b131a82027d12c65c48464c0bb 100644 (file)
--- a/xen/arch/x86/irq.c
+++ b/xen/arch/x86/irq.c
@@ -2228,7 +2228,7 @@ static void dump_irqs(unsigned char key)
     unsigned long flags;
     char *ssid;
 
-    printk("Guest interrupt information:\n");
+    printk("IRQ information:\n");
 
     for ( irq = 0; irq < nr_irqs; irq++ )
     {
@@ -2285,6 +2285,14 @@ static void dump_irqs(unsigned char key)
         xfree(ssid);
     }
 
+    printk("Direct vector information:\n");
+    for ( i = FIRST_DYNAMIC_VECTOR; i < NR_VECTORS; ++i )
+        if ( direct_apic_vector[i] )
+        {
+            printk("   %#02x -> ", i);
+            print_symbol("%s\n", (unsigned long)direct_apic_vector[i]);
+        }
+
     dump_ioapic_irq_info();
 }