/* Release a Mutex that was acquired by osMutexAcquire.  */
osStatus_t osMutexRelease(osMutexId_t mutex_id)
/* Release a Mutex that was acquired by osMutexAcquire.  */
osStatus_t osMutexRelease(osMutexId_t mutex_id)
{
    EvrRtxMutexError(mutex_id, (int32_t)osErrorISR);
    status = osErrorISR;
  } else {
    status = __svcMutexRelease(mutex_id);
  }
  return status;
}