Re: [PATCH RESEND] xen/arm: use the __HVC macro