gic_get_sgir_physaddr  182 arch/arm/common/bL_switcher.c 	mcpm_set_early_poke(ib_cpu, ib_cluster, gic_get_sgir_physaddr(), ipi_nr);
gic_get_sgir_physaddr  163 include/linux/irqchip/arm-gic.h unsigned long gic_get_sgir_physaddr(void);