Robuta

https://lkml.indiana.edu/1109.0/01742.html Linux-Kernel Archive: Re: [PATCH 08/13] xen/pvticketlock: disable interrupts while blocking https://lkml.indiana.edu/1109.0/00884.html Linux-Kernel Archive: [PATCH 8/8] xen/pvticketlock: allow interrupts to be enabled while blocking