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);