user_debug_thread_deleted
void user_debug_thread_deleted(team_id teamID, thread_id threadID, status_t status);
user_debug_thread_deleted(teamID, thread->id, thread->exit.status);