gic_write_grpen1  964 drivers/irqchip/irq-gic-v3.c 	gic_write_grpen1(1);
gic_write_grpen1 1186 drivers/irqchip/irq-gic-v3.c 		gic_write_grpen1(0);