user_debug_thread_unscheduled
void user_debug_thread_unscheduled(Thread* thread);
user_debug_thread_unscheduled(fromThread);