On 10 November 2012 12:15, Cherry G. Mathew <cherry.g.mathew%gmail.com@localhost> 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