Frees the specified semaphore.
#include <nks/synch.h> void NXSemaFree ( NXSema_t *sema);
(IN) Points to the semaphore to free.
The semaphore being deallocated must have been allocated by calling NXSemaAlloc.