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.