Jan Beulich
2006-Feb-08 12:56 UTC
[Xen-devel] [PATCH] x86-64 linux: properly exit idle mode from evtchn_do_upcall()
As the other side of the just sent patch to allow exit_idle() to work properly, this patch adds a call to exit_idle() when evtchn_do_upcall() calls evtchn_device_upcall() instead of do_IRQ(). Jan _______________________________________________ Xen-devel mailing list Xen-devel@lists.xensource.com http://lists.xensource.com/xen-devel