ipi_nr            153 arch/arm/common/bL_switcher.c 	int ipi_nr, ret;
ipi_nr            180 arch/arm/common/bL_switcher.c 	ipi_nr = register_ipi_completion(&inbound_alive, this_cpu);
ipi_nr            181 arch/arm/common/bL_switcher.c 	ipi_nr |= ((1 << 16) << bL_gic_id[ob_cpu][ob_cluster]);
ipi_nr            182 arch/arm/common/bL_switcher.c 	mcpm_set_early_poke(ib_cpu, ib_cluster, gic_get_sgir_physaddr(), ipi_nr);