Re: [Xen-devel] [PATCH 2/2] xen: make xen_qlock_wait() nestable