smutex_unlock
(void) smutex_unlock(&L_Mutex);
(void) smutex_unlock(&L_Mutex);
(void) smutex_unlock(&L_Mutex);
(void) smutex_unlock(&L_Mutex);
(void) smutex_unlock(&L_Mutex);
(void) smutex_unlock(&L_Mutex);
(void) smutex_unlock(&L_Mutex);
(void) smutex_unlock(&L_Mutex);
(void) smutex_unlock(&L_Mutex);
(void) smutex_unlock(&Mon_mutex);
(void) smutex_unlock(&Mon_mutex);
(void) smutex_unlock(&Mon_mutex);
(void) smutex_unlock(&M_Mutex);
if (!smutex_unlock(&Tskmgr.tm_w_mutex)) \