__vgic_v3_pri_to_pre
pre = __vgic_v3_pri_to_pre(pri, vmcr, grp);
if (__vgic_v3_get_highest_active_priority() <= __vgic_v3_pri_to_pre(lr_prio, vmcr, grp))
__vgic_v3_pri_to_pre(lr_prio, vmcr, grp) != act_prio)