Re: [Xen-devel] [PATCH] xen: fix xen_qlock_wait()