Symbol: gic_cpu_sys_reg_init
drivers/irqchip/irq-gic-v3.c
1300
gic_cpu_sys_reg_init();
drivers/irqchip/irq-gic-v3.c
1489
gic_cpu_sys_reg_init();