This is an archived copy of the Xen.org mailing list, which we have
preserved to ensure that existing links to archives are not broken.
The live archive, which contains the latest emails, can be found at
http://lists.xen.org/
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