gic_get_sgir_physaddr
mcpm_set_early_poke(ib_cpu, ib_cluster, gic_get_sgir_physaddr(), ipi_nr);
unsigned long gic_get_sgir_physaddr(void);