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
2964 processor_timer_switch_thread(ctime, &thread->system_timer); in thread_invoke()3113 processor_timer_switch_thread(ctime, &thread->system_timer); in thread_invoke()