Re: [Xen-devel] [PATCH 1/2] xen: fix race in xen_qlock_wait()