Lines Matching refs:PROCESSOR_DATA
950 uint64_t ttd = PROCESSOR_DATA(current_processor(), timer_call_ttd);
1883 PROCESSOR_DATA(processor, kernel_timer) = &processor->idle_thread->system_timer;
1932 PROCESSOR_DATA(processor, kernel_timer) = &thread->system_timer;
2136 PROCESSOR_DATA(processor, kernel_timer) = &thread->system_timer;
2143 timer_switch(PROCESSOR_DATA(processor, current_state),
2145 PROCESSOR_DATA(processor, current_state));
2249 PROCESSOR_DATA(processor, kernel_timer) = &thread->system_timer;
2256 timer_switch(PROCESSOR_DATA(processor, current_state),
2258 PROCESSOR_DATA(processor, current_state));
4085 timer_switch(&PROCESSOR_DATA(processor, system_state),
4086 mach_absolute_time(), &PROCESSOR_DATA(processor, idle_state));
4087 PROCESSOR_DATA(processor, current_state) = &PROCESSOR_DATA(processor, idle_state);
4109 timer_switch(&PROCESSOR_DATA(processor, idle_state),
4110 mach_absolute_time(), &PROCESSOR_DATA(processor, system_state));
4111 PROCESSOR_DATA(processor, current_state) = &PROCESSOR_DATA(processor, system_state);