762 	processor_t processor = current_processor();  in check_monotonic_time()
907 		uint64_t ttd = current_processor()->timer_call_ttd;  in thread_unblock()
2023 	assert(cprocessor == current_processor());  in sched_SMT_balance()
2349 	assert(processor == current_processor());  in thread_select()
2897 …assert(thread->bound_processor == PROCESSOR_NULL || thread->bound_processor == current_processor()…  in thread_invoke()
2944 			processor_t processor = current_processor();  in thread_invoke()
3093 	processor_t processor = current_processor();  in thread_invoke()
3308 	assert(processor == current_processor());  in thread_dispatch()
3391 …sched_update_pset_avg_execution_time(current_processor()->processor_set, consumed, processor->last…  in thread_dispatch()
3716 	processor = current_processor();  in thread_block_reason()
3800 		new_thread->chosen_processor = current_processor();  in thread_run()
3808 		processor_t processor = current_processor();  in thread_run()
4390 	processor_t processor = current_processor();  in sched_rt_choose_thread()
4516 					if (processor == current_processor()) {  in realtime_setrun()
4539 					if (processor == current_processor()) {  in realtime_setrun()
4633 	if (current_processor() == dst) {  in sched_ipi_action()
4832 		if (processor == current_processor()) {  in processor_setrun()
5395 			pset = current_processor()->processor_set;  in choose_starting_pset()
5916 		assert(processor == current_processor());  in set_sched_pri()
5962 		    processor != current_processor() &&  in set_sched_pri()
5995 	processor_t processor = current_processor();  in thread_run_queue_remove_for_handoff()
6036 		processor_t processor = current_processor();  in thread_prepare_for_handoff()
6419 	processor_t processor = current_processor();  in idle_thread()
6897 		ast_t ast = csw_check(thread, current_processor(), AST_NONE);  in thread_set_eager_preempt()
6930 		current_processor()->current_is_eagerpreempt = false;  in thread_clear_eager_preempt()
7374 					if (processor != current_processor()) {  in sched_update_recommended_cores()
7430 					if (processor == current_processor()) {  in sched_update_recommended_cores()