2 * Copyright (c) 2000-2010 Apple Inc. All rights reserved.
4 * @APPLE_OSREFERENCE_LICENSE_HEADER_START@
6 * This file contains Original Code and/or Modifications of Original Code
7 * as defined in and that are subject to the Apple Public Source License
8 * Version 2.0 (the 'License'). You may not use this file except in
9 * compliance with the License. The rights granted to you under the License
10 * may not be used to create, or enable the creation or redistribution of,
11 * unlawful or unlicensed copies of an Apple operating system, or to
12 * circumvent, violate, or enable the circumvention or violation of, any
13 * terms of an Apple operating system software license agreement.
15 * Please obtain a copy of the License at
16 * http://www.opensource.apple.com/apsl/ and read it before using this file.
18 * The Original Code and all software distributed under the License are
19 * distributed on an 'AS IS' basis, WITHOUT WARRANTY OF ANY KIND, EITHER
20 * EXPRESS OR IMPLIED, AND APPLE HEREBY DISCLAIMS ALL SUCH WARRANTIES,
21 * INCLUDING WITHOUT LIMITATION, ANY WARRANTIES OF MERCHANTABILITY,
22 * FITNESS FOR A PARTICULAR PURPOSE, QUIET ENJOYMENT OR NON-INFRINGEMENT.
23 * Please see the License for the specific language governing rights and
24 * limitations under the License.
26 * @APPLE_OSREFERENCE_LICENSE_HEADER_END@
32 * Mach Operating System
33 * Copyright (c) 1991,1990,1989,1988 Carnegie Mellon University
34 * All Rights Reserved.
36 * Permission to use, copy, modify and distribute this software and its
37 * documentation is hereby granted, provided that both the copyright
38 * notice and this permission notice appear in all copies of the
39 * software, derivative works or modified versions, and any portions
40 * thereof, and that both notices appear in supporting documentation.
42 * CARNEGIE MELLON ALLOWS FREE USE OF THIS SOFTWARE IN ITS "AS IS"
43 * CONDITION. CARNEGIE MELLON DISCLAIMS ANY LIABILITY OF ANY KIND FOR
44 * ANY DAMAGES WHATSOEVER RESULTING FROM THE USE OF THIS SOFTWARE.
46 * Carnegie Mellon requests users of this software to return to
48 * Software Distribution Coordinator or Software.Distribution@CS.CMU.EDU
49 * School of Computer Science
50 * Carnegie Mellon University
51 * Pittsburgh PA 15213-3890
53 * any improvements or extensions that they make and grant Carnegie Mellon
54 * the rights to redistribute these changes.
57 * NOTICE: This file was modified by McAfee Research in 2004 to introduce
58 * support for mandatory and extensible security protections. This notice
59 * is included in support of clause 2.2 (b) of the Apple Public License,
65 * Mach kernel interface type declarations
68 #ifndef _MACH_MACH_TYPES_DEFS_
69 #define _MACH_MACH_TYPES_DEFS_
72 #include <mach/std_types.defs>
74 type memory_object_offset_t = uint64_t;
75 type memory_object_size_t = uint64_t;
76 type memory_object_cluster_size_t = uint32_t;
77 type memory_object_fault_info_t = array[16] of integer_t;
81 /* Universal Page Lists - restricted to (in-kernel) pagers for now */
82 type upl_size_t = uint32_t;
83 type upl_offset_t = uint32_t;
84 type upl_page_info_t = struct[2] of integer_t;
85 type upl_page_info_array_t = array[*:256] of upl_page_info_t;
87 type upl_t = mach_port_t
88 intran: upl_t convert_port_to_upl(mach_port_t)
89 outtran: mach_port_t convert_upl_to_port(upl_t)
90 destructor: upl_deallocate(upl_t)
93 #endif /* KERNEL_PRIVATE */
95 type mach_port_status_t = struct[10] of integer_t; /* obsolete */
97 /* mach_port_info_t: can hold either a
98 * mach_port_status_t (9 ints) or a
99 * mach_port_limits_t (1 int). If new flavors of
100 * mach_port_{get,set}_attributes are added, the size of
101 * this array may have to be increased. (See mach/port.h)
103 type mach_port_flavor_t = int;
104 type mach_port_info_t = array[*:10] of integer_t;
106 type task_t = mach_port_t
108 intran: task_t convert_port_to_task(mach_port_t)
109 outtran: mach_port_t convert_task_to_port(task_t)
110 destructor: task_deallocate(task_t)
111 #endif /* KERNEL_SERVER */
114 type task_name_t = mach_port_t
116 intran: task_name_t convert_port_to_task_name(mach_port_t)
117 outtran: mach_port_t convert_task_name_to_port(task_name_t)
118 destructor: task_name_deallocate(task_name_t)
119 #endif /* KERNEL_SERVER */
122 type thread_t = mach_port_t
124 intran: thread_t convert_port_to_thread(mach_port_t)
125 outtran: mach_port_t convert_thread_to_port(thread_t)
126 destructor: thread_deallocate(thread_t)
127 #endif /* KERNEL_SERVER */
130 type thread_act_t = mach_port_t
132 intran: thread_act_t convert_port_to_thread(mach_port_t)
133 outtran: mach_port_t convert_thread_to_port(thread_act_t)
134 destructor: thread_deallocate(thread_act_t)
135 #endif /* KERNEL_SERVER */
138 type thread_act_consume_ref_t = mach_port_move_send_t
139 cusertype: thread_act_t
141 intran: thread_act_t convert_port_to_thread(mach_port_t)
142 destructor: thread_deallocate(thread_act_t)
143 #endif /* KERNEL_SERVER */
146 /* thread_state_t: This inline array can hold
147 * a machine-dependent amount of data, defined in
148 * mach/machine/???? (currently THREAD_STATE_MAX,
149 * in mach/thread_state.h)
151 #include <mach/machine/thread_state.h>
152 type thread_state_flavor_t = int;
153 type thread_state_t = array[*:THREAD_STATE_MAX] of natural_t;
155 type task_array_t = ^array[] of task_t;
156 type thread_array_t = ^array[] of thread_t;
157 type thread_act_array_t = ^array[] of thread_act_t;
158 type act_params_t = array[6] of int;
160 type vm_map_t = mach_port_t
162 intran: vm_map_t convert_port_to_map(mach_port_t)
163 destructor: vm_map_deallocate(vm_map_t)
164 #endif /* KERNEL_SERVER */
167 type vm_task_entry_t = mach_port_t
170 intran: vm_map_t convert_port_entry_to_map(mach_port_t)
171 destructor: vm_map_deallocate(vm_map_t)
172 #endif /* KERNEL_SERVER */
175 type ipc_space_t = mach_port_t
177 intran: ipc_space_t convert_port_to_space(mach_port_t)
178 destructor: space_deallocate(ipc_space_t)
179 #endif /* KERNEL_SERVER */
182 type vm_prot_t = int;
183 type vm_inherit_t = int;
184 type vm_purgable_t = int;
185 type xxx_vm_statistics_data_t = struct[13] of integer_t;
186 type vm_behavior_t = int;
187 type vm_statistics_data_t = struct[15] of integer_t;
188 type vm_machine_attribute_t = int;
189 type vm_machine_attribute_val_t = int;
190 type vm_sync_t = int;
192 /* thread_info_t: this inline array can hold any of:
193 * thread_basic_info_t (10 ints)
194 * policy_timeshare_info_t (5 ints)
195 * policy_fifo_info_t (4 ints)
196 * policy_rr_info_t (5 ints)
197 * if other thread_info flavors are added, this
198 * definition may need to be changed. (See
199 * mach/thread_info.h and mach/policy.h) */
200 type thread_flavor_t = int;
201 type thread_info_t = array[*:12] of integer_t;
203 type thread_policy_flavor_t = natural_t;
204 type thread_policy_t = array[*:16] of integer_t;
206 /* task_info_t: this inline array can hold any of:
207 * task_basic_info_32_t (8 ints)
208 * task_basic_info_64_t (10 ints)
209 * task_events_info_t (8 ints)
210 * task_thread_times_info_t (4 ints)
211 * policy_timeshare_info_t (5 ints)
212 * policy_fifo_info_t (4 ints)
213 * policy_rr_info_t (5 ints)
214 * task security token (2 ints)
215 * task audit token (8 ints)
216 * dyld info (2 64-bit ints and 1 int)
217 * task_extmod_info_t (8 64-bit ints)
218 * task_basic_info_64_2_t
219 * mach_task_basic_info_t (12 ints)
220 * If other task_info flavors are added, this
221 * definition may need to be changed. (See
222 * mach/task_info.h and mach/policy.h) */
223 type task_flavor_t = int;
224 type task_info_t = array[*:32] of integer_t;
226 type task_policy_flavor_t = natural_t;
227 type task_policy_t = array[*:16] of integer_t;
229 type mem_entry_name_port_t = mach_port_t
231 intran: mem_entry_name_port_t null_conversion(mach_port_t)
232 outtran: mach_port_t null_conversion(mem_entry_name_port_t)
233 #endif /* KERNEL_SERVER */
236 type mem_entry_name_port_move_send_t = mach_port_move_send_t
237 cusertype: mem_entry_name_port_t
239 intran: mem_entry_name_port_t null_conversion(mach_port_t)
240 outtran: mach_port_t null_conversion(mem_entry_name_port_t)
241 #endif /* KERNEL_SERVER */
244 type memory_object_default_t = mach_port_t
246 intran: memory_object_default_t null_conversion(mach_port_t)
247 outtran: mach_port_t null_conversion(memory_object_default_t)
248 #endif /* KERNEL_PRIVATE */
251 type memory_object_t = mach_port_t
253 intran: memory_object_t convert_port_to_memory_object(mach_port_t)
254 outtran: mach_port_t convert_memory_object_to_port(memory_object_t)
255 #endif /* KERNEL_PRIVATE */
259 type memory_object_control_t = mach_port_t
261 intran: memory_object_control_t convert_port_to_mo_control(mach_port_t)
262 outtran: mach_port_t convert_mo_control_to_port(memory_object_control_t)
263 destructor: memory_object_control_deallocate(memory_object_control_t)
264 #endif /* KERNEL_PRIVATE */
267 type memory_object_name_t = mach_port_t
272 type memory_object_copy_strategy_t = int;
273 type memory_object_return_t = int;
275 type machine_info_data_t = struct[5] of integer_t;
276 type machine_slot_data_t = struct[8] of integer_t;
278 type host_t = mach_port_t
280 intran: host_t convert_port_to_host(mach_port_t)
281 outtran: mach_port_t convert_host_to_port(host_t)
282 #endif /* KERNEL_SERVER */
285 type host_priv_t = mach_port_t
287 intran: host_priv_t convert_port_to_host_priv(mach_port_t)
288 #endif /* KERNEL_SERVER */
291 type host_security_t = mach_port_t
293 intran: host_security_t convert_port_to_host_security(mach_port_t)
294 #endif /* KERNEL_SERVER */
298 * host_info_t: variable-sized inline array that can contain:
300 * host_basic_info_old_t (5 ints)
301 * host_basic_info_t (12 ints)
302 * host_sched_info_t (2 ints)
303 * kernel_resource_sizes_t (5 ints)
304 * host_load_info_t (6 ints)
305 * vm_statistics32_t (15 ints)
307 * If other host_info flavors are added, this definition may
308 * need to be changed. (See mach/{host_info,vm_statistics}.h)
310 type host_flavor_t = int;
311 type host_info_t = array[*:15] of integer_t;
315 * host_info64_t: variable-sized inline array that can contain:
317 * vm_statistics_t (6 ints and 9 longs)
318 * vm_extmod_statistics_t (6 64-bit ints)
320 type host_info64_t = array[*:256] of integer_t;
322 type processor_t = mach_port_t
324 intran: processor_t convert_port_to_processor(mach_port_t)
325 outtran: mach_port_t convert_processor_to_port(processor_t)
326 #endif /* KERNEL_SERVER */
329 type processor_array_t = ^array[] of processor_t;
331 /* processor_info_t: variable-sized inline array that can
333 * processor_basic_info_t: (5 ints)
334 * processor_cpu_load_info_t:(4 ints)
335 * processor_machine_info_t :(12 ints)
336 * If other processor_info flavors are added, this definition
337 * may need to be changed. (See mach/processor_info.h) */
338 type processor_flavor_t = int;
339 type processor_info_t = array[*:12] of integer_t;
340 type processor_info_array_t = ^array[] of integer_t;
342 type processor_set_t = mach_port_t
344 intran: processor_set_t convert_port_to_pset(mach_port_t)
345 outtran: mach_port_t convert_pset_to_port(processor_set_t)
346 destructor: pset_deallocate(processor_set_t)
347 #endif /* KERNEL_SERVER */
350 type processor_set_array_t = ^array[] of processor_set_t;
352 type processor_set_name_t = mach_port_t
354 intran: processor_set_name_t convert_port_to_pset_name(mach_port_t)
355 outtran: mach_port_t convert_pset_name_to_port(processor_set_name_t)
356 destructor: pset_deallocate(processor_set_name_t)
357 #endif /* KERNEL_SERVER */
360 type processor_set_name_array_t = ^array[] of processor_set_name_t;
362 /* processor_set_info_t: variable-size inline array
364 * processor_set_basic_info (5 ints)
365 * processor_set_load_info (4 ints)
366 * policy_timeshare_base_t (1 int)
367 * policy_fifo_base_t (1 int)
368 * policy_rr_base_t (1 int)
369 * policy_timeshare_base_t (1 int)
370 * policy_fifo_base_t (1 int)
371 * policy_rr_base_t (1 int)
373 * If other flavors are added, this definition may
374 * need to be changed. (see mach/processor.h) */
375 type processor_set_flavor_t = int;
376 type processor_set_info_t = array[*:5] of integer_t;
378 type bootstrap_t = mach_port_t;
380 type kernel_version_t = c_string[*:512];
381 type kernel_boot_info_t = c_string[*:4096];
383 type time_value_t = struct[2] of integer_t;
385 type mach_port_qos_t = struct[2] of integer_t;
387 type emulation_vector_t = ^array[] of vm_offset_t;
389 type inline_existence_map_t = array[*:512] of char;
392 /* policy_info_t: variable-size inline array. Can hold:
393 * policy_timeshare_info_t (5 ints)
394 * policy_fifo_info_t (4 ints)
395 * policy_rr_info_t (5 ints) */
396 type policy_base_t = array[*:5] of integer_t;
397 type policy_info_t = array[*:2] of integer_t;
398 type policy_limit_t = array[*:1] of integer_t;
400 type ledger_t = mach_port_t
402 intran: ledger_t convert_port_to_ledger(mach_port_t)
403 outtran: mach_port_t convert_ledger_to_port(ledger_t)
404 #endif /* KERNEL_SERVER */
407 type ledger_array_t = ^array[] of ledger_t;
408 type ledger_item_t = integer_t;
411 type ledger_amount_t = int64_t;
413 type security_token_t = struct[2] of uint32_t;
414 type audit_token_t = struct[8] of uint32_t;
416 type msg_labels_t = mach_port_t;
418 /* memory_object_info_t: variable-size inline array:
419 * memory_object_attr_info_t (5 ints)
420 * XXX actually it's 6 ints temporarily (object_ready!)
421 * memory_object_behave_info_t (4 ints)
422 * memory_object_perf_info_t (2 ints)
423 * old_memory_object_attr_info_t (3 ints)
424 * memory_object_norma_info_t (5 ints)
425 * If other flavors are added, this definition may
426 * need to be changed. (see mach/memory_object.h) */
427 type memory_object_flavor_t = int;
428 type memory_object_info_t = array[*:6] of int;
430 /* vm_region_info_t: variable-size inline array that can hold:
431 * vm_region_basic_info_t (8 ints)
432 * If other flavors are added, this definition may
433 * need to be changed. (see mach/vm_region.h) */
434 type vm_region_flavor_t = int;
435 type vm_region_info_t = array[*:10] of int;
436 type vm_region_recurse_info_t = array[*:19] of int;
438 type vm_page_info_flavor_t = int;
439 type vm_page_info_t = array[*:32] of int;
441 type mach_vm_read_entry_t = array[512] of mach_vm_offset_t;
442 type vm_read_entry_t = array[512] of vm_offset_t;
444 type vm32_read_entry_t = array[512] of vm32_offset_t;
447 type exception_mask_t = int;
448 type exception_behavior_t = int;
450 type exception_handler_t = mach_port_t;
452 type exception_handler_array_t =
453 array[*:32] of exception_handler_t;
455 type exception_behavior_array_t =
456 array[*:32] of exception_behavior_t;
458 type exception_flavor_array_t =
459 array[*:32] of thread_state_flavor_t;
461 type exception_mask_array_t =
462 array[*:32] of exception_mask_t;
464 type semaphore_t = mach_port_t
466 intran: semaphore_t convert_port_to_semaphore(mach_port_t)
467 outtran: mach_port_t convert_semaphore_to_port(semaphore_t)
468 destructor: semaphore_dereference(semaphore_t)
469 #endif /* KERNEL_SERVER */
472 type semaphore_consume_ref_t = mach_port_move_send_t
473 cusertype: semaphore_t
475 intran: semaphore_t convert_port_to_semaphore(mach_port_t)
476 outtran: mach_port_t convert_semaphore_to_port(semaphore_t)
477 destructor: semaphore_dereference(semaphore_t)
478 #endif /* KERNEL_SERVER */
481 type lock_set_t = mach_port_t
483 intran: lock_set_t convert_port_to_lock_set(mach_port_t)
484 outtran: mach_port_t convert_lock_set_to_port(lock_set_t)
485 destructor: lock_set_dereference(lock_set_t)
486 #endif /* KERNEL_SERVER */
489 /* kernel module loader */
491 type kmod_control_flavor_t = int;
493 type kmod_args_t = ^array[] of MACH_MSG_TYPE_BYTE
496 type io_master_t = mach_port_t;
497 type UNDServerRef = mach_port_t;
500 #ifdef MACH_KERNEL_PRIVATE
501 simport <kern/ipc_kobject.h>; /* for null conversion */
502 simport <kern/ipc_tt.h>; /* for task/thread conversion */
503 simport <kern/ipc_host.h>; /* for host/processor/pset conversions */
504 simport <kern/ipc_sync.h>; /* for lock_set and semaphore conversions */
505 simport <kern/ledger.h>; /* for ledger conversions */
506 simport <kern/processor.h>; /* for processor conversions */
507 simport <kern/sync_lock.h>; /* for lock-set conversions */
508 simport <kern/sync_sema.h>; /* for semaphore conversions */
509 simport <vm/memory_object.h>; /* for memory object type conversions */
510 simport <vm/vm_map.h>; /* for vm_map conversions */
511 #endif /* MACH_KERNEL_PRIVATE */
513 simport <kern/ipc_mig.h>; /* pick up kernel-specific MIG things */
515 #endif /* KERNEL_SERVER */
518 import <mach/mach_types.h>;
520 #endif /* _MACH_MACH_TYPES_DEFS_ */
522 /* vim: set ft=c : */