Deallocates the specified mutex.
#include <nks/synch.h> void NXMutexFree ( NXMutex_t *mutex);
(IN) Points to the mutex to be deallocated.
The mutex being deallocated must have been allocated by calling NXMutexAlloc.
For sample code, see Mutex.c.
NXMutexAlloc