Definition: |
leave_cs(i)
-- or -- leave_cs() |
Description: | End mutually exclusive execution, allowing any other threads stalled within an enter_cs for the same i to continue. |
Example: |
leave_cs(mycs) |
See Also: | init_cs, delete_cs, enter_cs, try_cs |