Guardian Procedure Calls Reference Manual

Considerations
The unlock operation and the state of the binary semaphore
If the binary semaphore is locked by the calling process, then the value of error is 0
and the state of the binary semaphore becomes unlocked.
If the binary semaphore is either locked by another process, unlocked, or forsaken, then
the value of error is 4001 and the state of the binary semaphore remains unchanged.
For more information about binary semaphores, see General Considerations for Binary
Semaphores (page 89).
Example
error := BINSEM_UNLOCK_( semid );
Related Programming Manuals
For programming information about the BINSEM_UNLOCK_ procedure, see the Guardian
Programmer's Guide.
106 Guardian Procedure Calls (A-B)