gic_cpu_sys_reg_init 1031 drivers/irqchip/irq-gic-v3.c 	gic_cpu_sys_reg_init();
gic_cpu_sys_reg_init 1184 drivers/irqchip/irq-gic-v3.c 		gic_cpu_sys_reg_init();