diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1994-01-25 21:20:16 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1994-01-25 21:20:16 +0000 |
| commit | e81c17b1ada7210bc7fa87629fb5a0c285183278 (patch) | |
| tree | 0ab2f193fdd0f5115a3e9c5fb2b060150dea6584 /libiohelp | |
| parent | cd5ee764c3b2c7abc85c6d60b6bf7273e9288f49 (diff) | |
Formerly ioserver.h.~2~
Diffstat (limited to 'libiohelp')
| -rw-r--r-- | libiohelp/iohelp.h | 17 |
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 *); |