1 /*
2 * Mach Operating System
3 * Copyright (c) 1991,1990,1989,1988 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: std_types.defs,v $
29 * Revision 2.8 93/01/14 17:46:49 danner
30 * 64bit cleanup. All types based on natural_t/integer_t.
31 * Define and use int32 when we can possibly take a smaller type,
32 * and hint on its minimal size.
33 * [92/12/01 af]
34 *
35 * Revision 2.7 92/01/15 13:45:09 rpd
36 * Changed MACH_IPC_COMPAT conditionals to default to not present.
37 *
38 * Revision 2.6 92/01/14 16:45:33 rpd
39 * Changed pointer_t to ctype vm_offset_t.
40 * Changed mach_port_array_t, mach_port_name_array_t,
41 * mach_port_type_array_t to indefinite arrays.
42 * [92/01/13 rpd]
43 *
44 * Revision 2.5 91/08/28 11:15:41 jsb
45 * Added mach_port_seqno_t.
46 * [91/08/09 rpd]
47 *
48 * Revision 2.4 91/05/14 16:58:53 mrt
49 * Correcting copyright
50 *
51 * Revision 2.3 91/02/05 17:35:36 mrt
52 * Changed to new Mach copyright
53 * [91/02/01 17:20:49 mrt]
54 *
55 * Revision 2.2 90/06/02 14:59:53 rpd
56 * Converted to new IPC.
57 * [90/03/26 22:38:56 rpd]
58 *
59 * Revision 2.1 89/08/03 17:18:38 rwd
60 * Created.
61 *
62 * Revision 2.3 89/02/25 18:40:18 gm0w
63 * Changes for cleanup.
64 *
65 * Revision 2.2 89/01/15 16:31:41 rpd
66 * Moved from kern/ to mach/.
67 * [89/01/15 14:33:24 rpd]
68 *
69 * Revision 2.2 89/01/12 07:58:48 rpd
70 * Created.
71 * [89/01/12 04:15:04 rpd]
72 *
73 */
74 /*
75 * Mach kernel standard interface type declarations
76 */
77
78 #ifndef _MACH_STD_TYPES_DEFS_
79 #define _MACH_STD_TYPES_DEFS_
80
81 #ifdef KERNEL
82 #include <mach_ipc_compat.h>
83 #endif KERNEL
84
85 type char = MACH_MSG_TYPE_CHAR;
86 type short = MACH_MSG_TYPE_INTEGER_16;
87 type int = MACH_MSG_TYPE_INTEGER_32;
88 type int32 = MACH_MSG_TYPE_INTEGER_32;
89 type int64 = MACH_MSG_TYPE_INTEGER_64;
90 type boolean_t = MACH_MSG_TYPE_BOOLEAN;
91 type unsigned = MACH_MSG_TYPE_INTEGER_32;
92 type unsigned32 = MACH_MSG_TYPE_INTEGER_32;
93 type unsigned64 = MACH_MSG_TYPE_INTEGER_64;
94
95 /* Get the definitions for natural_t and integer_t */
96 #include <mach/machine/machine_types.defs>
97
98 type kern_return_t = int;
99
100 type pointer_t = ^array[] of MACH_MSG_TYPE_BYTE
101 ctype: vm_offset_t;
102
103
104 type mach_port_t = MACH_MSG_TYPE_COPY_SEND;
105 type mach_port_array_t = array[] of mach_port_t;
106
107 type mach_port_name_t = MACH_MSG_TYPE_PORT_NAME
108 ctype: mach_port_t;
109 type mach_port_name_array_t = array[] of mach_port_name_t
110 ctype: mach_port_array_t;
111
112 type mach_port_right_t = natural_t;
113
114 type mach_port_type_t = natural_t;
115 type mach_port_type_array_t = array[] of mach_port_type_t;
116
117 type mach_port_urefs_t = natural_t;
118 type mach_port_delta_t = integer_t;
119 type mach_port_seqno_t = natural_t;
120 type mach_port_mscount_t = unsigned;
121 type mach_port_msgcount_t = unsigned;
122 type mach_port_rights_t = unsigned;
123 type mach_msg_id_t = integer_t;
124 type mach_msg_type_name_t = unsigned;
125 type mach_msg_type_number_t = natural_t;
126
127 type mach_port_move_receive_t = MACH_MSG_TYPE_MOVE_RECEIVE
128 ctype: mach_port_t;
129 type mach_port_copy_send_t = MACH_MSG_TYPE_COPY_SEND
130 ctype: mach_port_t;
131 type mach_port_make_send_t = MACH_MSG_TYPE_MAKE_SEND
132 ctype: mach_port_t;
133 type mach_port_move_send_t = MACH_MSG_TYPE_MOVE_SEND
134 ctype: mach_port_t;
135 type mach_port_make_send_once_t = MACH_MSG_TYPE_MAKE_SEND_ONCE
136 ctype: mach_port_t;
137 type mach_port_move_send_once_t = MACH_MSG_TYPE_MOVE_SEND_ONCE
138 ctype: mach_port_t;
139
140 type mach_port_receive_t = MACH_MSG_TYPE_PORT_RECEIVE
141 ctype: mach_port_t;
142 type mach_port_send_t = MACH_MSG_TYPE_PORT_SEND
143 ctype: mach_port_t;
144 type mach_port_send_once_t = MACH_MSG_TYPE_PORT_SEND_ONCE
145 ctype: mach_port_t;
146
147 type mach_port_poly_t = polymorphic
148 ctype: mach_port_t;
149
150
151 /* Definitions for the old IPC interface. */
152
153 #if MACH_IPC_COMPAT
154
155 type port_name_t = MSG_TYPE_PORT_NAME
156 ctype: mach_port_t;
157 type port_name_array_t = ^array[] of port_name_t
158 ctype: mach_port_array_t;
159 type port_type_t = int
160 ctype: mach_port_type_t;
161 type port_type_array_t = ^array[] of port_type_t
162 ctype: mach_port_type_array_t;
163 type port_set_name_t = port_name_t
164 ctype: mach_port_t;
165
166 type port_t = MACH_MSG_TYPE_COPY_SEND
167 ctype: mach_port_t;
168 type port_all_t = MACH_MSG_TYPE_MOVE_RECEIVE
169 ctype: mach_port_t;
170 type port_rcv_t = MACH_MSG_TYPE_MOVE_RECEIVE
171 ctype: mach_port_t;
172 type port_array_t = ^array[] of port_t
173 ctype: mach_port_array_t;
174
175 #endif MACH_IPC_COMPAT
176
177 import <mach/std_types.h>;
178
179 #endif _MACH_STD_TYPES_DEFS_
Cache object: cac996ac3db651c2aa7d9c41f48acc3a
|