/* Delete a Semaphore that was created by osSemaphoreCreate.  */
osStatus osSemaphoreDelete(osSemaphoreId semaphore_id)
/* Delete a Semaphore that was created by osSemaphoreCreate.  */
osStatus osSemaphoreDelete(osSemaphoreId semaphore_id)
{
    return osErrorISR;
  }
  return __svcSemaphoreDelete(semaphore_id);
}