put_task_exec_state
struct task_exec_state *exec_state __free(put_task_exec_state) = NULL;
void put_task_exec_state(struct task_exec_state *exec_state);
DEFINE_FREE(put_task_exec_state, struct task_exec_state *, put_task_exec_state(_T))
put_task_exec_state(rcu_access_pointer(tsk->exec_state));