151 	unsigned int mpidr, this_cpu, that_cpu;  in bL_switch_to()  local
159 	this_cpu = smp_processor_id();  in bL_switch_to()
163 	BUG_ON(cpu_logical_map(this_cpu) != ob_mpidr);  in bL_switch_to()
168 	that_cpu = bL_switcher_cpu_pairing[this_cpu];  in bL_switch_to()
174 		 this_cpu, ob_mpidr, ib_mpidr);  in bL_switch_to()
176 	this_cpu = smp_processor_id();  in bL_switch_to()
184 	ipi_nr = register_ipi_completion(&inbound_alive, this_cpu);  in bL_switch_to()
222 	tdev = tick_get_device(this_cpu);  in bL_switch_to()
223 	if (tdev && !cpumask_equal(tdev->evtdev->cpumask, cpumask_of(this_cpu)))  in bL_switch_to()
237 	cpu_logical_map(this_cpu) = ib_mpidr;  in bL_switch_to()
247 	pr_debug("after switch: CPU %d MPIDR %#x\n", this_cpu, mpidr);  in bL_switch_to()