/* Delete a Semaphore that was created by osSemaphoreCreate.  */
osStatus svcSemaphoreDelete(osSemaphoreId semaphore_id)
/* Delete a Semaphore that was created by osSemaphoreCreate.  */
osStatus svcSemaphoreDelete(osSemaphoreId semaphore_id)
{
    return osErrorParameter;
  }
  if (((P_SCB)sem)->cb_type != SCB) {
    return osErrorParameter;
  }
  rt_sem_delete(sem);
  return osOK;
}