Re: [Xen-devel] [PATCH 04/24] xen/arm: sync_bitops