Frees the specified semaphore.
#include <synch.h> int sema_destroy ( sema_t *sp );
(IN) Points to the semaphore to free.
Returns 0; no error conditions have been defined:
The semaphore being destroyed must have been allocated by calling sema_init.