diff options
author | Michael I. Bushnell <mib@gnu.org> | 1995-08-30 15:50:53 +0000 |
---|---|---|
committer | Michael I. Bushnell <mib@gnu.org> | 1995-08-30 15:50:53 +0000 |
commit | 0b9692b6f3d8cd44b73b81bc634931c8ed0f0ebe (patch) | |
tree | d6a4bd16b93594b38746feacc2dcef56765a846e /libtrivfs | |
parent | b1acd7a8f232741e4eea257e0424d07bac162d40 (diff) |
(cond_signal): If this condition has implications, see if one of them
needs to be signalled when we have no waiters.
(cond_broadcast): Signal the implications list too.
(condition_implies, condition_unimplies): New functions.
Diffstat (limited to 'libtrivfs')
0 files changed, 0 insertions, 0 deletions