Searched refs:timer_update (Results 1 – 4 of 4) sorted by relevance
106 void timer_update(timer_t timer, uint64_t tstamp);
104 timer_update(timer_t timer, uint64_t tstamp) in timer_update() function
217 timer_update(&thread->runnable_timer, ctime); in thread_quantum_expire()
3026 timer_update(&thread->runnable_timer, ctime); in thread_invoke()3172 timer_update(&thread->runnable_timer, ctime); in thread_invoke()