gic_init_chip    1224 drivers/irqchip/irq-gic.c 		gic_init_chip(gic, NULL, name, true);
gic_init_chip    1227 drivers/irqchip/irq-gic.c 		gic_init_chip(gic, NULL, name, false);
gic_init_chip    1388 drivers/irqchip/irq-gic.c 	gic_init_chip(*gic, dev, dev->of_node->name, false);