/// Release a Mutex that was acquired by \ref osMutexAcquire. osStatus_t osMutexRelease (osMutexId_t mutex_id) { EvrRtxMutexRelease(mutex_id); if (IS_IRQ_MODE() || IS_IRQ_MASKED()) { EvrRtxMutexError(mutex_id, osErrorISR); return osErrorISR; } return __svcMutexRelease(mutex_id); }
/// Release a Mutex that was acquired by \ref osMutexAcquire. osStatus_t osMutexRelease (osMutexId_t mutex_id) { osStatus_t status; EvrRtxMutexRelease(mutex_id); if (IsIrqMode() || IsIrqMasked()) { EvrRtxMutexError(mutex_id, (int32_t)osErrorISR); status = osErrorISR; } else { status = __svcMutexRelease(mutex_id); } return status; }