diff options
Diffstat (limited to 'libports/interrupt-rpcs.c')
| -rw-r--r-- | libports/interrupt-rpcs.c | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/libports/interrupt-rpcs.c b/libports/interrupt-rpcs.c index 7c28ff2c..42f51a5e 100644 --- a/libports/interrupt-rpcs.c +++ b/libports/interrupt-rpcs.c @@ -20,7 +20,6 @@ #include "ports.h" #include <hurd.h> -#include <cthreads.h> void ports_interrupt_rpcs (void *portstruct) @@ -28,7 +27,7 @@ ports_interrupt_rpcs (void *portstruct) struct port_info *pi = portstruct; struct rpc_info *rpc; - mutex_lock (&_ports_lock); + pthread_mutex_lock (&_ports_lock); for (rpc = pi->current_rpcs; rpc; rpc = rpc->next) { @@ -36,5 +35,5 @@ ports_interrupt_rpcs (void *portstruct) _ports_record_interruption (rpc); } - mutex_unlock (&_ports_lock); + pthread_mutex_unlock (&_ports_lock); } |