/* Release a Mutex that was obtained by osMutexWait.  */
osStatus osMutexRelease(osMutexId mutex_id)
/* Release a Mutex that was obtained by osMutexWait.  */
osStatus osMutexRelease(osMutexId mutex_id)
{
		BaseType_t pxHigherPriorityTaskWoken;
		xSemaphoreGiveFromISR(mutex->mutex, &pxHigherPriorityTaskWoken);
	} else {
		xSemaphoreGive(mutex->mutex);
	}
	return osOK;
}