user_debug_thread_scheduled
void user_debug_thread_scheduled(Thread* thread);
user_debug_thread_scheduled(thread);