[PATCH v3 22/25] xen/arm: use the __HVC macro