diff options
author | Michael I. Bushnell <mib@gnu.org> | 1995-11-21 14:58:08 +0000 |
---|---|---|
committer | Michael I. Bushnell <mib@gnu.org> | 1995-11-21 14:58:08 +0000 |
commit | 283e64e8ee9c856607345a9fb67a36a7d37c4ee4 (patch) | |
tree | a0a33041a39258e6efa16b7c239167d086fb7cb3 /hurd/interrupt.defs | |
parent | 591a435f0c8a4dd4b8ddfe019ba8e5af3cacc93e (diff) |
(interrupt_operation): Include SEQNO server argument.
Diffstat (limited to 'hurd/interrupt.defs')
-rw-r--r-- | hurd/interrupt.defs | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/hurd/interrupt.defs b/hurd/interrupt.defs index 69fc3ef2..a1303820 100644 --- a/hurd/interrupt.defs +++ b/hurd/interrupt.defs @@ -1,5 +1,5 @@ /* Interrup [get the phone, will ya?] tion. -*- C -*- - Copyright (C) 1993, 1994 Free Software Foundation, Inc. + Copyright (C) 1993, 1994, 1995 Free Software Foundation, Inc. This file is part of the GNU Hurd. @@ -35,5 +35,6 @@ waittime INTERRUPT_TIMEOUT; exact semantics are dependent on the specific object. */ routine -interrupt_operation (object: mach_port_t); +interrupt_operation (object: mach_port_t; + msgseqno seqno: mach_port_seqno_t); |