Symbol: gic_write_grpen1
drivers/irqchip/irq-gic-v3.c
1232
gic_write_grpen1(1);
drivers/irqchip/irq-gic-v3.c
1491
gic_write_grpen1(0);