Re: [Xen-devel] [PATCH 02/24] xen/arm: hypercalls