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