This function is declared in the kos/mutex.h file.
kos/mutex.h
void KosMutexDeinit(KosMutex *mutex);
Deletes the specified mutex.
mutex