diff options
Diffstat (limited to 'libiohelp/handle_io_release_conch.c')
| -rw-r--r-- | libiohelp/handle_io_release_conch.c | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/libiohelp/handle_io_release_conch.c b/libiohelp/handle_io_release_conch.c index 27b79211..fa95a6e5 100644 --- a/libiohelp/handle_io_release_conch.c +++ b/libiohelp/handle_io_release_conch.c @@ -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,19 +15,19 @@ along with this program; if not, write to the Free Software Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA. */ -#include "ioserver.h" +#include "iohelp.h" /* Called by an I/O server upon receipt of an io_release_conch message; The user identified by USER is done with conch C; release it and allow a waiting user to obtain the conch. */ void -ioserver_handle_io_release_conch (struct conch *c, void *user) +iohelp_handle_io_release_conch (struct conch *c, void *user) { if (c->holder_shared_page->conch_status != USER_HAS_NOT_CONCH) { c->holder_shared_page->conch_status = USER_HAS_NOT_CONCH; - ioserver_fetch_shared_data (c->holder); + iohelp_fetch_shared_data (c->holder); } if (c->holder == user) |