VSTATE_CTRL_GET_NEXT
return VSTATE_CTRL_GET_NEXT(tsk->thread.vstate_ctrl);
next = VSTATE_CTRL_GET_NEXT(arg);