[PATCH-WIP 04/13] xen/arm: sync_bitops