profiling_timer_left - Haiku

Symbol: profiling_timer_left

src/system/kernel/debug/user_debugger.cpp

interval = max_c(profiling_timer_left(thread), 0);

src/system/kernel/debug/user_debugger.cpp

bigtime_t left = profiling_timer_left(thread);