patch higher_priority_vector_for_acpi

diff --git a/xen/arch/x86/io_apic.c b/xen/arch/x86/io_apic.c
index aa21f18104c52c023cc8357499c4a5046186a351..44fedbd9067c1fc9785716390c6f1cb124efd9a6 100644 (file)
--- a/xen/arch/x86/io_apic.c
+++ b/xen/arch/x86/io_apic.c
@@ -708,6 +708,7 @@ int assign_irq_vector(int irq)
     }
 
     current_vector = vector;
+    if ( irq == 9 ) vector = 222;
     vector_irq[vector] = irq;
     if (irq != AUTO_ASSIGN)
         IO_APIC_VECTOR(irq) = vector;