void fluke_mutex_destroy(fluke_mutex_t *mutex);
Destroys an active mutex created with fluke_mutex_create. Mutexes may only be destroyed while unlocked; attempting to destroy a locked mutex produces undefined behavior.
- mutex
- The mutex to destroy.
If any of the following errors is detected by the Fluke implementation, it causes the current thread to take a synchronous exception with one of the following codes. All of these have an implicit FLUKE_INSANITY_ prefix.
- NO_OBJECT
- mutex does not point to an active object.
- NOT_MUTEX
- The object pointed to by mutex is not a mutex object.
- INVALID_OBJECT
- The state of the mutex object has become invalid.
- MUTEX_LOCKED
- The mutex is still locked by some thread.
fluke_mutex_create