From 7eca7eb2899916f28611d27b8ce05165d66a9421 Mon Sep 17 00:00:00 2001 From: "Michael I. Bushnell" Date: Mon, 6 May 1996 20:32:49 +0000 Subject: gs/ioserver/iohelp/ --- libiohelp/iohelp.h | 20 ++++++++++---------- 1 file changed, 10 insertions(+), 10 deletions(-) (limited to 'libiohelp/iohelp.h') diff --git a/libiohelp/iohelp.h b/libiohelp/iohelp.h index b816a50e..2897653d 100644 --- a/libiohelp/iohelp.h +++ b/libiohelp/iohelp.h @@ -1,5 +1,5 @@ /* - Copyright (C) 1993, 1994 Free Software Foundation + Copyright (C) 1993, 1994, 1996 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 @@ -15,8 +15,8 @@ along with this program; if not, write to the Free Software Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA. */ -#ifndef _HURD_IOSERVER_ -#define _HURD_IOSERVER_ +#ifndef _HURD_IOHELP_ +#define _HURD_IOHELP_ #include #include @@ -33,35 +33,35 @@ struct conch }; /* Initialize a conch box */ -void ioserver_initialize_conch (struct conch *, struct mutex *); +void iohelp_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) */ -void ioserver_handle_io_get_conch (struct conch *, void *, +void iohelp_handle_io_get_conch (struct conch *, void *, struct shared_io *); /* Obtain the conch for the server */ -void ioserver_get_conch (struct conch *); +void iohelp_get_conch (struct conch *); /* Handle a user request to release the conch (io_release_conch). */ -void ioserver_handle_io_release_conch (struct conch *, void *); +void iohelp_handle_io_release_conch (struct conch *, void *); /* Check if the user is allowed to make a shared-data notification message. */ -error_t ioserver_verify_user_conch (struct conch *, void *); +error_t iohelp_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). */ -void ioserver_fetch_shared_data (void *); +void iohelp_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). */ -void ioserver_put_shared_data (void *); +void iohelp_put_shared_data (void *); #endif -- cgit v1.2.3