/* Release a Mutex that was obtained with osMutexWait.  */
osStatus osMutexRelease(osMutexId mutex_id)
/* Release a Mutex that was obtained with osMutexWait.  */
osStatus osMutexRelease(osMutexId mutex_id)
{
	rt_err_t result;
	result = rt_mutex_release(mutex_id);
	if (result == RT_EOK)
		return osOK;
	else
		return osErrorOS;
}