gic_smp_init     1120 drivers/irqchip/irq-gic-v3.c static void gic_smp_init(void)
gic_smp_init     1174 drivers/irqchip/irq-gic-v3.c #define gic_smp_init()		do { } while(0)