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