Symbol: gic_cpu_sys_reg_enable
drivers/irqchip/irq-gic-v3.c
1322
gic_cpu_sys_reg_enable();
drivers/irqchip/irq-gic-v3.c
1488
gic_cpu_sys_reg_enable();
drivers/irqchip/irq-gic-v3.c
2041
gic_cpu_sys_reg_enable();