/* Delete a Mutex that was created by osMutexCreate.  */
osStatus svcMutexDelete(osMutexId mutex_id)
/* Delete a Mutex that was created by osMutexCreate.  */
osStatus svcMutexDelete(osMutexId mutex_id)
{
    return osErrorParameter;
  }
  if (((P_MUCB)mut)->cb_type != MUCB) {
    return osErrorParameter;
  }
  rt_mut_delete(mut);
  return osOK;
}