Searched refs:ipi_nr (Results 1 – 1 of 1) sorted by relevance
155 int ipi_nr, ret; in bL_switch_to() local182 ipi_nr = register_ipi_completion(&inbound_alive, this_cpu); in bL_switch_to()183 ipi_nr |= ((1 << 16) << bL_gic_id[ob_cpu][ob_cluster]); in bL_switch_to()184 mcpm_set_early_poke(ib_cpu, ib_cluster, gic_get_sgir_physaddr(), ipi_nr); in bL_switch_to()