user_timer_stop_cpu_timers - Haiku

Symbol: user_timer_stop_cpu_timers

headers/private/kernel/UserTimer.h

void user_timer_stop_cpu_timers(Thread* thread, Thread* nextThread);

src/system/kernel/scheduler/scheduler.cpp

user_timer_stop_cpu_timers(fromThread, toThread);

src/system/kernel/thread.cpp

user_timer_stop_cpu_timers(thread, NULL);