Symbol: gic_has_group0
drivers/irqchip/irq-gic-v3.c
1163
group0 = gic_has_group0();
drivers/irqchip/irq-gic-v3.c
172
cpus_have_group0 = gic_has_group0();