summaryrefslogtreecommitdiff
path: root/libiohelp
diff options
context:
space:
mode:
Diffstat (limited to 'libiohelp')
-rw-r--r--libiohelp/iohelp.h10
1 files changed, 5 insertions, 5 deletions
diff --git a/libiohelp/iohelp.h b/libiohelp/iohelp.h
index 25a2a938..29decf44 100644
--- a/libiohelp/iohelp.h
+++ b/libiohelp/iohelp.h
@@ -37,14 +37,14 @@ void ioserver_initialize_conch (struct conch *, struct mutex *);
by locking the lock passed to initialize_conch. */
/* Handle a user request to obtain the conch (io_get_conch) */
-error_t ioserver_handle_io_get_conch (struct conch *, void *,
+void ioserver_handle_io_get_conch (struct conch *, void *,
struct shared_io *);
/* Obtain the conch for the server */
-error_t ioserver_get_conch (struct conch *);
+void ioserver_get_conch (struct conch *);
/* Handle a user request to release the conch (io_release_conch). */
-error_t ioserver_handle_io_release_conch (struct conch *, void *);
+void ioserver_handle_io_release_conch (struct conch *, void *);
/* Check if the user is allowed to make a shared-data notification
message. */
@@ -53,11 +53,11 @@ 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 ioserver_fetch_shared_data (void *);
+void 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 ioserver_put_shared_data (void *);
+void ioserver_put_shared_data (void *);