diff options
Diffstat (limited to 'include/device')
| -rw-r--r-- | include/device/device_reply.defs | 24 |
1 files changed, 12 insertions, 12 deletions
diff --git a/include/device/device_reply.defs b/include/device/device_reply.defs index 03c17f5..3415677 100644 --- a/include/device/device_reply.defs +++ b/include/device/device_reply.defs @@ -1,25 +1,25 @@ -/* +/* * Mach Operating System * Copyright (c) 1991,1990,1989 Carnegie Mellon University * All Rights Reserved. - * + * * Permission to use, copy, modify and distribute this software and its * documentation is hereby granted, provided that both the copyright * notice and this permission notice appear in all copies of the * software, derivative works or modified versions, and any portions * thereof, and that both notices appear in supporting documentation. - * + * * CARNEGIE MELLON ALLOWS FREE USE OF THIS SOFTWARE IN ITS "AS IS" * CONDITION. CARNEGIE MELLON DISCLAIMS ANY LIABILITY OF ANY KIND FOR * ANY DAMAGES WHATSOEVER RESULTING FROM THE USE OF THIS SOFTWARE. - * + * * Carnegie Mellon requests users of this software to return to - * + * * Software Distribution Coordinator or Software.Distribution@CS.CMU.EDU * School of Computer Science * Carnegie Mellon University * Pittsburgh PA 15213-3890 - * + * * any improvements or extensions that they make and grant Carnegie Mellon * the rights to redistribute these changes. */ @@ -51,7 +51,7 @@ userprefix ds_; #if SEQNOS serverprefix seqnos_; serverdemux seqnos_device_reply_server; -#endif SEQNOS +#endif /* SEQNOS */ type reply_port_t = polymorphic|MACH_MSG_TYPE_PORT_SEND_ONCE ctype: mach_port_t; @@ -60,7 +60,7 @@ simpleroutine device_open_reply( reply_port : reply_port_t; #if SEQNOS msgseqno seqno : mach_port_seqno_t; -#endif SEQNOS +#endif /* SEQNOS */ in return_code : kern_return_t; in device_port : mach_port_make_send_t ); @@ -71,7 +71,7 @@ simpleroutine device_write_reply( reply_port : reply_port_t; #if SEQNOS msgseqno seqno : mach_port_seqno_t; -#endif SEQNOS +#endif /* SEQNOS */ in return_code : kern_return_t; in bytes_written : int ); @@ -80,7 +80,7 @@ simpleroutine device_write_reply_inband( reply_port : reply_port_t; #if SEQNOS msgseqno seqno : mach_port_seqno_t; -#endif SEQNOS +#endif /* SEQNOS */ in return_code : kern_return_t; in bytes_written : int ); @@ -89,7 +89,7 @@ simpleroutine device_read_reply( reply_port : reply_port_t; #if SEQNOS msgseqno seqno : mach_port_seqno_t; -#endif SEQNOS +#endif /* SEQNOS */ in return_code : kern_return_t; in data : io_buf_ptr_t, dealloc ); @@ -98,7 +98,7 @@ simpleroutine device_read_reply_inband( reply_port : reply_port_t; #if SEQNOS msgseqno seqno : mach_port_seqno_t; -#endif SEQNOS +#endif /* SEQNOS */ in return_code : kern_return_t; in data : io_buf_ptr_inband_t ); |