VSTATE_CTRL_GET_CUR
return VSTATE_CTRL_GET_CUR(tsk->thread.vstate_ctrl);
cur = VSTATE_CTRL_GET_CUR(arg);