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