gic_supports_nmi  441 drivers/irqchip/irq-gic-v3.c 	if (!gic_supports_nmi())
gic_supports_nmi  478 drivers/irqchip/irq-gic-v3.c 	if (WARN_ON(!gic_supports_nmi()))
gic_supports_nmi  624 drivers/irqchip/irq-gic-v3.c 	if (gic_supports_nmi() &&
gic_supports_nmi  908 drivers/irqchip/irq-gic-v3.c 		WARN_ON(gic_supports_nmi() && group0 &&