get_task_state
seq_puts(m, get_task_state(p));
state = *get_task_state(task);
prev_state = get_task_state(prev);