GICD_INT_NMI_PRI  469 drivers/irqchip/irq-gic-v3.c 	gic_irq_set_prio(d, GICD_INT_NMI_PRI);
GICD_INT_NMI_PRI  625 drivers/irqchip/irq-gic-v3.c 	    unlikely(gic_read_rpr() == GICD_INT_NMI_PRI)) {