/* Release a Mutex that was obtained with osMutexWait.  */
osStatus svcMutexRelease(osMutexId mutex_id)
/* Release a Mutex that was obtained with osMutexWait.  */
osStatus svcMutexRelease(osMutexId mutex_id)
{
    return osErrorParameter;
  }
  if (((P_MUCB)mut)->cb_type != MUCB) {
    return osErrorParameter;
  }
  res = rt_mut_release(mut);
  if (res == OS_R_NOK) {
    return osErrorResource;
  }
  return osOK;
}