osfmk/kern/sched_prim.c

1776 			return (processor->idle_thread);
1813 					return (processor->idle_thread);
1824 			return (processor->idle_thread);
1840 		return (processor->idle_thread);
1882 	thread_timer_event(processor->last_dispatch, &processor->idle_thread->system_timer);
1883 	PROCESSOR_DATA(processor, kernel_timer) = &processor->idle_thread->system_timer;
4201 idle_thread(void)
4208 		thread_run(processor->idle_thread, (thread_continue_t)idle_thread, NULL, new_thread);
4212 	thread_block((thread_continue_t)idle_thread);
4224 	result = kernel_thread_create((thread_continue_t)idle_thread, NULL, MAXPRI_KERNEL, &thread);
4231 	processor->idle_thread = thread;
4408 			thread = processor->idle_thread;