__vgic_v3_bpr_min
return (hap + __ffs(val)) << __vgic_v3_bpr_min();
ap = pre >> __vgic_v3_bpr_min();
return hap << __vgic_v3_bpr_min();
u8 bpr_min = __vgic_v3_bpr_min() - 1;
u8 bpr_min = __vgic_v3_bpr_min();