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