mcpm_set_early_poke
mcpm_set_early_poke(ib_cpu, ib_cluster, gic_get_sgir_physaddr(), ipi_nr);
mcpm_set_early_poke(ib_cpu, ib_cluster, 0, 0);
void mcpm_set_early_poke(unsigned cpu, unsigned cluster,