del_mtx
ER del_mtx ( ID mtxid );
対象ミューテックスをロックしているタスクがある場合,そのロックを解除します。その結果,そのタスクがロックしているミューテックスがなくなった場合には,そのタスクの現在優先度をベース優先度に戻します。対象ミューテックスをロックしていたタスクには,ミューテックスが削除されたことは通知されません。後でunl_mtxによってミューテックスをロック解除しようとした時点で,エラーE_NOEXS が返されます。
ER del_mtx ( ID mtxid );