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);