diff options
author | Michael I. Bushnell <mib@gnu.org> | 1995-08-24 19:33:41 +0000 |
---|---|---|
committer | Michael I. Bushnell <mib@gnu.org> | 1995-08-24 19:33:41 +0000 |
commit | ff72eae15f5489e0b12658f68ac79158f5060d60 (patch) | |
tree | 053dfb05de8248fceb7c3079a293c7aff0c868e4 | |
parent | 1944173cbf97009bac2f4d12e7175c5c1dcaa043 (diff) |
(ports_interrupt_rpc): (ports_interrupt_rpc):
-rw-r--r-- | libports/interrupt-rpcs.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/libports/interrupt-rpcs.c b/libports/interrupt-rpcs.c index 930ed201..0be2ffbe 100644 --- a/libports/interrupt-rpcs.c +++ b/libports/interrupt-rpcs.c @@ -19,6 +19,7 @@ Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA. */ #include "ports.h" +#include <hurd.h> #include <cthreads.h> void @@ -30,7 +31,7 @@ ports_interrupt_rpc (void *portstruct) mutex_lock (&_ports_lock); for (rpc = pi->current_rpcs; rpc; rpc = rpc->next) - thread_cancel (rpc->thread); + hurd_thread_cancel (rpc->thread); mutex_unlock (&_ports_lock); } |