762 	processor_t processor = current_processor();  in check_monotonic_time()
907 		uint64_t ttd = current_processor()->timer_call_ttd;  in thread_unblock()
2001 	assert(cprocessor == current_processor());  in sched_SMT_balance()
2328 	assert(processor == current_processor());  in thread_select()
2878 …assert(thread->bound_processor == PROCESSOR_NULL || thread->bound_processor == current_processor()…  in thread_invoke()
2925 			processor_t processor = current_processor();  in thread_invoke()
3074 	processor_t processor = current_processor();  in thread_invoke()
3289 	assert(processor == current_processor());  in thread_dispatch()
3372 …sched_update_pset_avg_execution_time(current_processor()->processor_set, consumed, processor->last…  in thread_dispatch()
3697 	processor = current_processor();  in thread_block_reason()
3781 		new_thread->chosen_processor = current_processor();  in thread_run()
3789 		processor_t processor = current_processor();  in thread_run()
4371 	processor_t processor = current_processor();  in sched_rt_choose_thread()
4497 					if (processor == current_processor()) {  in realtime_setrun()
4520 					if (processor == current_processor()) {  in realtime_setrun()
4614 	if (current_processor() == dst) {  in sched_ipi_action()
4809 		if (processor == current_processor()) {  in processor_setrun()
5382 			pset = current_processor()->processor_set;  in choose_starting_pset()
5905 		assert(processor == current_processor());  in set_sched_pri()
5951 		    processor != current_processor() &&  in set_sched_pri()
5984 	processor_t processor = current_processor();  in thread_run_queue_remove_for_handoff()
6025 		processor_t processor = current_processor();  in thread_prepare_for_handoff()
6409 	processor_t processor = current_processor();  in idle_thread()
6887 		ast_t ast = csw_check(thread, current_processor(), AST_NONE);  in thread_set_eager_preempt()
6920 		current_processor()->current_is_eagerpreempt = false;  in thread_clear_eager_preempt()
7364 					if (processor != current_processor()) {  in sched_update_recommended_cores()
7420 					if (processor == current_processor()) {  in sched_update_recommended_cores()