__gic_init_bases 1251 drivers/irqchip/irq-gic.c 	__gic_init_bases(gic, NULL);
__gic_init_bases 1454 drivers/irqchip/irq-gic.c 	ret = __gic_init_bases(gic, &node->fwnode);
__gic_init_bases 1645 drivers/irqchip/irq-gic.c 	ret = __gic_init_bases(gic, domain_handle);