/* Delete a Mutex that was created by osMutexCreate.  */
osStatus osMutexDelete(osMutexId mutex_id)
/* Delete a Mutex that was created by osMutexCreate.  */
osStatus osMutexDelete(osMutexId mutex_id)
{
    return osErrorISR;
  }
  return __svcMutexDelete(mutex_id);
}