Symbol: gic_enable_redist
drivers/irqchip/irq-gic-v3.c
1283
gic_enable_redist(true);
drivers/irqchip/irq-gic-v3.c
1487
gic_enable_redist(true);
drivers/irqchip/irq-gic-v3.c
1492
gic_enable_redist(false);