do_IRQ() expects a vector instead of an irq now due to a recent change. With this patch, VMX domains can boot again. Signed-off-by: Arun Sharma <arun.sharma@intel.com> --- a/xen/arch/x86/vmx.c Wed Jun 8 23:08:01 2005 +++ b/xen/arch/x86/vmx.c Thu Jun 9 01:03:30 2005 @@ -1262,8 +1262,7 @@ if (vector == LOCAL_TIMER_VECTOR) { smp_apic_timer_interrupt(®s); } else { - regs.entry_vector = (vector == FIRST_DEVICE_VECTOR? - 0 : vector_irq[vector]); + regs.entry_vector = vector; do_IRQ(®s); } break; _______________________________________________ Xen-devel mailing list Xen-devel@lists.xensource.com http://lists.xensource.com/xen-devel