791 	processor_t processor = current_processor();  in check_monotonic_time()
937 		uint64_t ttd = current_processor()->timer_call_ttd;  in thread_unblock()
2107 	assert(cprocessor == current_processor());  in sched_SMT_balance()
2436 	assert(processor == current_processor());  in thread_select()
2985 …assert(thread->bound_processor == PROCESSOR_NULL || thread->bound_processor == current_processor()…  in thread_invoke()
3029 			processor_t processor = current_processor();  in thread_invoke()
3171 	processor_t processor = current_processor();  in thread_invoke()
3378 	assert(processor == current_processor());  in thread_dispatch()
3466 …sched_update_pset_avg_execution_time(current_processor()->processor_set, consumed, processor->last…  in thread_dispatch()
3809 	processor = current_processor();  in thread_block_reason()
3893 		new_thread->chosen_processor = current_processor();  in thread_run()
3901 		processor_t processor = current_processor();  in thread_run()
4523 	processor_t processor = current_processor();  in sched_rt_choose_thread()
4633 					if (processor == current_processor()) {  in realtime_setrun()
4656 					if (processor == current_processor()) {  in realtime_setrun()
4750 	if (current_processor() == dst) {  in sched_ipi_action()
4945 		if (processor == current_processor()) {  in processor_setrun()
5517 			pset = current_processor()->processor_set;  in choose_starting_pset()
5989 		assert(processor == current_processor());  in set_sched_pri()
6035 		    processor != current_processor() &&  in set_sched_pri()
6068 	processor_t processor = current_processor();  in thread_run_queue_remove_for_handoff()
6109 		processor_t processor = current_processor();  in thread_prepare_for_handoff()
6488 	processor_t processor = current_processor();  in idle_thread()
6974 		ast_t ast = csw_check(thread, current_processor(), AST_NONE);  in thread_set_eager_preempt()
7007 		current_processor()->current_is_eagerpreempt = false;  in thread_clear_eager_preempt()
7761 					if (processor != current_processor()) {  in sched_update_recommended_cores()
7820 					if (processor == current_processor()) {  in sched_update_recommended_cores()