SEMAPHORE_DESTROY
Purpose
semaphore_destroy destroys a semaphore.
Synopsis
#include <types.h>
#include <stub.h>
int semaphore_destroy(Capability
*semaphore);
Parameters
-
semaphore: a capability for the
semaphore to be destroyed.
Description
semaphore_destroy destroys the semaphore
designated by semaphore.
Return Values
On success, semaphore_destroy returns
0 and the capability semaphore is no longer valid.
On fail, semaphore_destroy returns
a negative value indicating one of the following errors:
See Also
semaphore_create,
semaphore_status, semaphore_p,
semaphore_v