1 /*
2 * Mach Operating System
3 * Copyright (c) 1991,1990,1989 Carnegie Mellon University
4 * All Rights Reserved.
5 *
6 * Permission to use, copy, modify and distribute this software and its
7 * documentation is hereby granted, provided that both the copyright
8 * notice and this permission notice appear in all copies of the
9 * software, derivative works or modified versions, and any portions
10 * thereof, and that both notices appear in supporting documentation.
11 *
12 * CARNEGIE MELLON ALLOWS FREE USE OF THIS SOFTWARE IN ITS "AS IS"
13 * CONDITION. CARNEGIE MELLON DISCLAIMS ANY LIABILITY OF ANY KIND FOR
14 * ANY DAMAGES WHATSOEVER RESULTING FROM THE USE OF THIS SOFTWARE.
15 *
16 * Carnegie Mellon requests users of this software to return to
17 *
18 * Software Distribution Coordinator or Software.Distribution@CS.CMU.EDU
19 * School of Computer Science
20 * Carnegie Mellon University
21 * Pittsburgh PA 15213-3890
22 *
23 * any improvements or extensions that they make and grant Carnegie Mellon
24 * the rights to redistribute these changes.
25 */
26 /*
27 * HISTORY
28 * $Log: device_request.defs,v $
29 * Revision 2.7 91/05/14 15:42:50 mrt
30 * Correcting copyright
31 *
32 * Revision 2.6 91/02/05 17:09:06 mrt
33 * Changed to new Mach copyright
34 * [91/01/31 17:28:20 mrt]
35 *
36 * Revision 2.5 90/06/02 14:47:44 rpd
37 * Converted to new IPC.
38 * [90/03/26 21:52:44 rpd]
39 *
40 * Revision 2.4 89/09/08 11:23:48 dbg
41 * Use device_t.
42 * [89/08/24 dbg]
43 *
44 * Revision 2.3 89/08/31 16:18:42 rwd
45 * Added device_read_request_inband
46 * [89/08/15 rwd]
47 *
48 * Revision 2.2 89/08/05 16:06:05 rwd
49 * Added device_write_request_inband
50 * [89/08/04 rwd]
51 *
52 */
53 /*
54 * Author: David B. Golub, Carnegie Mellon University
55 * Date: 8/89
56 *
57 * Request-only side of device interface.
58 */
59
60 subsystem device_request 2800; /* to match device.defs */
61
62 #include <device/device_types.defs>
63
64 serverprefix ds_;
65
66 type reply_port_t = MACH_MSG_TYPE_MAKE_SEND_ONCE
67 ctype: mach_port_t;
68
69 simpleroutine device_open_request(
70 device_server_port : mach_port_t;
71 ureplyport reply_port : reply_port_t;
72 in mode : dev_mode_t;
73 in name : dev_name_t
74 );
75
76 skip; /* device_close */
77
78 simpleroutine device_write_request(
79 device : device_t;
80 ureplyport reply_port : reply_port_t;
81 in mode : dev_mode_t;
82 in recnum : recnum_t;
83 in data : io_buf_ptr_t
84 );
85
86 simpleroutine device_write_request_inband(
87 device : device_t;
88 ureplyport reply_port : reply_port_t;
89 in mode : dev_mode_t;
90 in recnum : recnum_t;
91 in data : io_buf_ptr_inband_t
92 );
93
94 simpleroutine device_read_request(
95 device : device_t;
96 ureplyport reply_port : reply_port_t;
97 in mode : dev_mode_t;
98 in recnum : recnum_t;
99 in bytes_wanted : int
100 );
101
102 simpleroutine device_read_request_inband(
103 device : device_t;
104 ureplyport reply_port : reply_port_t;
105 in mode : dev_mode_t;
106 in recnum : recnum_t;
107 in bytes_wanted : int
108 );
Cache object: 2b370998e7ff7426aa18c41d451d8589
|