/// Delete a Mutex object. osStatus_t osMutexDelete (osMutexId_t mutex_id) { EvrRtxMutexDelete(mutex_id); if (IS_IRQ_MODE() || IS_IRQ_MASKED()) { EvrRtxMutexError(mutex_id, osErrorISR); return osErrorISR; } return __svcMutexDelete(mutex_id); }
/// Delete a Mutex object. osStatus_t osMutexDelete (osMutexId_t mutex_id) { osStatus_t status; EvrRtxMutexDelete(mutex_id); if (IsIrqMode() || IsIrqMasked()) { EvrRtxMutexError(mutex_id, (int32_t)osErrorISR); status = osErrorISR; } else { status = __svcMutexDelete(mutex_id); } return status; }