/* Release a Mutex that was obtained with osMutexWait.  */
osStatus osMutexRelease(osMutexId mutex_id)
/* Release a Mutex that was obtained with osMutexWait.  */
osStatus osMutexRelease(osMutexId mutex_id)
{
    return osErrorISR;
  }
  return __svcMutexRelease(mutex_id);
}