gic_has_group0    897 drivers/irqchip/irq-gic-v3.c 	group0 = gic_has_group0();
gic_has_group0   1493 drivers/irqchip/irq-gic-v3.c 	if (gic_has_group0() && !gic_dist_security_disabled()) {