bug fix in vsfshell, call vsfsm_crit_leave for leave the critical section