group0            882 drivers/irqchip/irq-gic-v3.c 	bool group0;
group0            897 drivers/irqchip/irq-gic-v3.c 	group0 = gic_has_group0();
group0            908 drivers/irqchip/irq-gic-v3.c 		WARN_ON(gic_supports_nmi() && group0 &&
group0            929 drivers/irqchip/irq-gic-v3.c 	if (group0) {