Lines Matching refs:PROCESSOR_DATA
1382 PROCESSOR_DATA(processor, kernel_timer) = &processor->idle_thread->system_timer;
1412 PROCESSOR_DATA(processor, kernel_timer) = &thread->system_timer;
1532 PROCESSOR_DATA(processor, kernel_timer) = &thread->system_timer;
1612 PROCESSOR_DATA(processor, kernel_timer) = &thread->system_timer;
2868 timer_switch(&PROCESSOR_DATA(processor, system_state),
2869 mach_absolute_time(), &PROCESSOR_DATA(processor, idle_state));
2870 PROCESSOR_DATA(processor, current_state) = &PROCESSOR_DATA(processor, idle_state);
2882 timer_switch(&PROCESSOR_DATA(processor, idle_state),
2883 mach_absolute_time(), &PROCESSOR_DATA(processor, system_state));
2884 PROCESSOR_DATA(processor, current_state) = &PROCESSOR_DATA(processor, system_state);