@c Delete a mutex object
When a mutex is not used anymore by a program it has to be released to free the system resources allocated to handle the mutex.
void thread_FinishMutex(PMUTEX pMutex ){ Arguments:
void thread_FinishMutex(PMUTEX pMutex ){