diff options
author | Michael I. Bushnell <mib@gnu.org> | 1995-12-01 22:58:30 +0000 |
---|---|---|
committer | Michael I. Bushnell <mib@gnu.org> | 1995-12-01 22:58:30 +0000 |
commit | c4e9edac67a64869a73cde5903ec92c96df97c13 (patch) | |
tree | 31f25bf4344e8f2f8bce7812e60c295a28185c6c | |
parent | 5ba84de2bbc67e73907e5ce2fb9f0dd1b7a65ac7 (diff) |
(trivfs_S_interrupt_operation): Delete function.
-rw-r--r-- | term/users.c | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/term/users.c b/term/users.c index 600e6962..8c2a3bf2 100644 --- a/term/users.c +++ b/term/users.c @@ -1563,20 +1563,6 @@ send_signal (int signo) } } -error_t -trivfs_S_interrupt_operation (mach_port_t port) -{ - struct trivfs_protid *cred = ports_lookup_port (term_bucket, port, - tty_class); - if (!cred) - return EOPNOTSUPP; - - ports_interrupt_rpc (cred); - - ports_port_deref (cred); - return 0; -} - void report_carrier_off () { |