This function is declared in the kos/mutex.h file.
kos/mutex.h
void KosMutexInit(KosMutex *mutex);
Initializes the mutex in an unlocked state.
mutex