Formerly ioserver.h.~2~

1 files changed, 9 insertions, 8 deletions

diff --git a/libiohelp/iohelp.h b/libiohelp/iohelp.h
index 35cb11d2..35efec35 100644
--- a/libiohelp/iohelp.h
+++ b/libiohelp/iohelp.h
@@ -1,5 +1,5 @@
 /* 
-   Copyright (C) 1993 Free Software Foundation
+   Copyright (C) 1993, 1994 Free Software Foundation
 
    This program is free software; you can redistribute it and/or
    modify it under the terms of the GNU General Public License as
@@ -30,32 +30,33 @@ struct conch
 };
 
 /* Initialize a conch box */
-void initialize_conch (struct conch *, struct mutex *);
+void ioserver_initialize_conch (struct conch *, struct mutex *);
 
 /* These routines are not reentrant.  The server is responsible
    for ensuring that all calls to these routines are serialized
    by locking the lock passed to initialize_conch. */
 
 /* Handle a user request to obtain the conch (io_get_conch) */
-error_t handle_io_get_conch (struct conch *, void *, struct shared_io *);
+error_t ioserver_handle_io_get_conch (struct conch *, void *,
+				      struct shared_io *);
 
 /* Obtain the conch for the server */
-error_t get_conch (struct conch *);
+error_t ioserver_get_conch (struct conch *);
 
 /* Handle a user request to release the conch (io_release_conch). */
-error_t handle_io_release_conch (struct conch *, void *);
+error_t ioserver_handle_io_release_conch (struct conch *, void *);
 
 /* Check if the user is allowed to make a shared-data notification
    message. */
-error_t verify_user_conch (struct conch *, void *);
+error_t ioserver_verify_user_conch (struct conch *, void *);
 
 /* This function must by defined by the server.  It should transfer
    information from the current conch holder's shared page to the server's
    data (the arg is the conch owner). */
-error_t fetch_shared_data (void *);
+error_t ioserver_fetch_shared_data (void *);
 
 /* This function must be defined by the server.  It should transfer
    information from the server's data to the current conch holder's
    shared page (the arg is the conch owner). */
-error_t put_shared_data (void *);
+error_t ioserver_put_shared_data (void *);