/* 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)
{
		vSemaphoreDelete(sem->sem);
		sem->sem = NULL;
		return osOK;
	} else {
		return osErrorParameter;
	}
}