state_to_text
state_to_text(thread, thread->state));
kprintf("state: %s\n", state_to_text(thread, thread->state));
return state_to_text(thread, state);