Symbol: gic_irq_set_prio
drivers/irqchip/irq-gic-v3.c
620
gic_irq_set_prio(d, dist_prio_nmi);
drivers/irqchip/irq-gic-v3.c
648
gic_irq_set_prio(d, dist_prio_irq);