user_timer_continue_cpu_timers - Haiku

Symbol: user_timer_continue_cpu_timers

headers/private/kernel/UserTimer.h

void user_timer_continue_cpu_timers(Thread* thread,

src/system/kernel/scheduler/scheduler.cpp

user_timer_continue_cpu_timers(thread, cpu->previous_thread);