diff options
| author | Miles Bader <miles@gnu.org> | 1996-01-27 17:22:57 +0000 |
|---|---|---|
| committer | Miles Bader <miles@gnu.org> | 1996-01-27 17:22:57 +0000 |
| commit | 62789ef7555ec0dc6b8b18d1dd71e59fbc51530e (patch) | |
| tree | c28d617a1eb4e87f752bc7260ceda45a36d3fa27 /libports | |
| parent | b71fa46e01b56001a167720f785b803f5d041ebd (diff) | |
(ports_no_senders): Use ports_interrupt_rpcs instead of ports_interrupt_rpc.
Diffstat (limited to 'libports')
| -rw-r--r-- | libports/no-senders.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/libports/no-senders.c b/libports/no-senders.c index 9430c3e0..0e8a5f17 100644 --- a/libports/no-senders.c +++ b/libports/no-senders.c @@ -1,5 +1,5 @@ /* - Copyright (C) 1995 Free Software Foundation, Inc. + Copyright (C) 1995, 1996 Free Software Foundation, Inc. Written by Michael I. Bushnell. This file is part of the GNU Hurd. @@ -60,7 +60,7 @@ ports_no_senders (void *portstruct, { ports_interrupt_notified_rpcs (portstruct, pi->port_right, MACH_NOTIFY_NO_SENDERS); - ports_interrupt_rpc (pi); + ports_interrupt_rpcs (pi); ports_port_deref (pi); } } |