__gicv3_prio_to_ns
dist_prio_irq = __gicv3_prio_to_ns(dist_prio_irq);
dist_prio_nmi = __gicv3_prio_to_ns(dist_prio_nmi);
(__gicv3_ns_to_prio(__gicv3_prio_to_ns(p)) == (p))