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