Searched refs:processor_timer_switch_thread (Results 1 – 3 of 3) sorted by relevance
140 void processor_timer_switch_thread(uint64_t tstamp, timer_t new_timer);
138 processor_timer_switch_thread(uint64_t tstamp, timer_t new_timer) in processor_timer_switch_thread() function
2945 processor_timer_switch_thread(ctime, &thread->system_timer); in thread_invoke()3094 processor_timer_switch_thread(ctime, &thread->system_timer); in thread_invoke()