diff options
author | Michael I. Bushnell <mib@gnu.org> | 1993-11-23 17:10:15 +0000 |
---|---|---|
committer | Michael I. Bushnell <mib@gnu.org> | 1993-11-23 17:10:15 +0000 |
commit | da6b1cb4487adde802b55cfa321cfd5bd345c57b (patch) | |
tree | 160bd8b045f4aadb724cb6aaa94efc16bdbfd6ee /hurd | |
parent | f3a674cbaeb6312d722ef61816c2a9b168d2fb79 (diff) |
Formerly shared.h.~15~
Diffstat (limited to 'hurd')
-rw-r--r-- | hurd/shared.h | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/hurd/shared.h b/hurd/shared.h index 22a3c5f3..988472c1 100644 --- a/hurd/shared.h +++ b/hurd/shared.h @@ -23,16 +23,16 @@ struct shared_io { int shared_page_magic; - /* This lock protects against modification to it_status. */ + /* This lock protects against modification to conch_status. */ spin_lock_t lock; enum { - USER_IT, /* User is it */ - USER_POTENTIALLY_IT, /* User can become it */ - USER_RELEASE_IT, /* User is it, should release it promptly */ - USER_NOT_IT, /* User is not it */ - } it_status; + USER_HAS_CONCH, /* User is it */ + USER_COULD_HAVE_CONCH,, /* User can become it */ + USER_RELEASE_CONCH, /* User is it, should release it promptly */ + USER_HAS_NOT_CONCH,, /* User is not it */ + } conch_status; /* These values are set by the IO server only: */ |