778 	processor_t processor = current_processor();  in check_monotonic_time()
923 		uint64_t ttd = current_processor()->timer_call_ttd;  in thread_unblock()
2065 	assert(cprocessor == current_processor());  in sched_SMT_balance()
2394 	assert(processor == current_processor());  in thread_select()
2943 …assert(thread->bound_processor == PROCESSOR_NULL || thread->bound_processor == current_processor()…  in thread_invoke()
2987 			processor_t processor = current_processor();  in thread_invoke()
3129 	processor_t processor = current_processor();  in thread_invoke()
3336 	assert(processor == current_processor());  in thread_dispatch()
3424 …sched_update_pset_avg_execution_time(current_processor()->processor_set, consumed, processor->last…  in thread_dispatch()
3757 	processor = current_processor();  in thread_block_reason()
3841 		new_thread->chosen_processor = current_processor();  in thread_run()
3849 		processor_t processor = current_processor();  in thread_run()
4436 	processor_t processor = current_processor();  in sched_rt_choose_thread()
4546 					if (processor == current_processor()) {  in realtime_setrun()
4569 					if (processor == current_processor()) {  in realtime_setrun()
4663 	if (current_processor() == dst) {  in sched_ipi_action()
4858 		if (processor == current_processor()) {  in processor_setrun()
5418 			pset = current_processor()->processor_set;  in choose_starting_pset()
5890 		assert(processor == current_processor());  in set_sched_pri()
5936 		    processor != current_processor() &&  in set_sched_pri()
5969 	processor_t processor = current_processor();  in thread_run_queue_remove_for_handoff()
6010 		processor_t processor = current_processor();  in thread_prepare_for_handoff()
6389 	processor_t processor = current_processor();  in idle_thread()
6875 		ast_t ast = csw_check(thread, current_processor(), AST_NONE);  in thread_set_eager_preempt()
6908 		current_processor()->current_is_eagerpreempt = false;  in thread_clear_eager_preempt()
7662 					if (processor != current_processor()) {  in sched_update_recommended_cores()
7721 					if (processor == current_processor()) {  in sched_update_recommended_cores()