On 10 November 2012 12:15, Cherry G. Mathew <cherry.g.mat...@gmail.com> wrote:
... > On a second glance, I realised that Xspllower is called only via > xen_inter.c:spllower() .. and in the mutex_exit() stub In any case, there are no asynchronous entry paths into Xspllower on Xen -- ~Cherry
