gic_irq_set_prio 469 drivers/irqchip/irq-gic-v3.c gic_irq_set_prio(d, GICD_INT_NMI_PRI); gic_irq_set_prio 504 drivers/irqchip/irq-gic-v3.c gic_irq_set_prio(d, GICD_INT_DEF_PRI);