summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMichael I. Bushnell <mib@gnu.org>1993-11-23 17:10:15 +0000
committerMichael I. Bushnell <mib@gnu.org>1993-11-23 17:10:15 +0000
commitda6b1cb4487adde802b55cfa321cfd5bd345c57b (patch)
tree160bd8b045f4aadb724cb6aaa94efc16bdbfd6ee
parentf3a674cbaeb6312d722ef61816c2a9b168d2fb79 (diff)
Formerly shared.h.~15~
-rw-r--r--hurd/shared.h12
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: */