gic_enable_redist 1015 drivers/irqchip/irq-gic-v3.c 	gic_enable_redist(true);
gic_enable_redist 1183 drivers/irqchip/irq-gic-v3.c 			gic_enable_redist(true);
gic_enable_redist 1187 drivers/irqchip/irq-gic-v3.c 		gic_enable_redist(false);