/* Acquire a Mutex or timeout if it is locked.  */
osStatus_t osMutexAcquire(osMutexId_t mutex_id, uint32_t timeout)
/* Acquire a Mutex or timeout if it is locked.  */
osStatus_t osMutexAcquire(osMutexId_t mutex_id, uint32_t timeout)
{
    EvrRtxMutexError(mutex_id, (int32_t)osErrorISR);
    status = osErrorISR;
  } else {
    status = __svcMutexAcquire(mutex_id, timeout);
  }
  return status;
}