As I understand it, the condition for raising the respective softirq was inverted. Signed-off-by: Jan Beulich <jbeulich@novell.com> Index: 2007-02-07/xen/arch/x86/traps.c ==================================================================--- 2007-02-07.orig/xen/arch/x86/traps.c 2007-02-07 16:32:43.000000000 +0100 +++ 2007-02-07/xen/arch/x86/traps.c 2007-02-12 13:53:44.000000000 +0100 @@ -1804,7 +1804,7 @@ static void nmi_dom0_report(unsigned int set_bit(reason_idx, nmi_reason(d)); - if ( test_and_set_bit(_VCPUF_nmi_pending, &v->vcpu_flags) ) + if ( !test_and_set_bit(_VCPUF_nmi_pending, &v->vcpu_flags) ) raise_softirq(NMI_SOFTIRQ); /* not safe to wake up a vcpu here */ } _______________________________________________ Xen-devel mailing list Xen-devel@lists.xensource.com http://lists.xensource.com/xen-devel