smutex_destroy
(void) smutex_destroy(&L_Mutex);
(void) smutex_destroy(&M_Mutex);
(void) smutex_destroy(&Tskmgr.tm_w_mutex);