scheduler_dump_thread_data
void scheduler_dump_thread_data(Thread* thread);
scheduler_dump_thread_data(thread);