This function is declared in the kos/semaphore.h file.
Retcode KosSemaphoreDeinit(KosSemaphore *semaphore);
This function destroys the specified semaphore that was previously initialized by the KosSemaphoreInit() function.
It is safe to destroy an initialized semaphore on which there are currently no locked threads. There could be an unpredictable effect from destroying a semaphore on which other threads are currently locked.
The function returns the following:
semaphore points to an invalid semaphore;