diff options
| -rw-r--r-- | libiohelp/initialize_conch.c | 2 | ||||
| -rw-r--r-- | libiohelp/verify_user_conch.c | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/libiohelp/initialize_conch.c b/libiohelp/initialize_conch.c index 0272e7b9..05d0bd0a 100644 --- a/libiohelp/initialize_conch.c +++ b/libiohelp/initialize_conch.c @@ -20,7 +20,7 @@ /* Called by an I/O server to initialize a conch structure C; M will be used to lock conch data structures. */ void -initialize_conch (struct conch *c, struct mutex *m) +ioserver_initialize_conch (struct conch *c, struct mutex *m) { c->lock = m; condition_init (&c->wait); diff --git a/libiohelp/verify_user_conch.c b/libiohelp/verify_user_conch.c index f99f18b8..7a58a228 100644 --- a/libiohelp/verify_user_conch.c +++ b/libiohelp/verify_user_conch.c @@ -21,7 +21,7 @@ /* Check to see if the user identified by USER has conch C; if not, return an error, else, return 0. */ error_t -verify_user_conch (struct conch *c, void *user) +ioserver_verify_user_conch (struct conch *c, void *user) { struct shared_io *user_sh; |