its_cpu_init     1044 drivers/irqchip/irq-gic-v3.c 		its_cpu_init();
its_cpu_init     1578 drivers/irqchip/irq-gic-v3.c 		its_cpu_init();
its_cpu_init      621 include/linux/irqchip/arm-gic-v3.h int its_cpu_init(void);