2 * Copyright (c) 2000-2004 Apple Computer, 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@
33 * Header file for basic, machine-dependent data types. i386 version.
36 #ifndef _MACHINE_VM_TYPES_DEFS_
37 #define _MACHINE_VM_TYPES_DEFS_ 1
41 type unsigned = uint32_t;
43 type float = MACH_MSG_TYPE_REAL_32;
44 type double = MACH_MSG_TYPE_REAL_64;
47 /* from ISO/IEC 988:1999 spec */
48 /* 7.18.1.4 Integer types capable of hgolding object pointers */
50 * The [u]intptr_t types for the native
51 * integer type, e.g. 32 or 64 or.. whatever
52 * register size the machine has. They are
53 * used for entities that might be either
54 * [unsigned] integers or pointers, and for
55 * type-casting between the two.
57 * For instance, the IPC system represents
58 * a port in user space as an integer and
59 * in kernel space as a pointer.
62 type uintptr_t = uint64_t;
63 type intptr_t = int64_t;
65 type uintptr_t = uint32_t;
66 type intptr_t = int32_t;
70 * These are the legacy Mach types that are
71 * the [rough] equivalents of the standards above.
72 * They were defined in terms of int, not
73 * long int, so they remain separate.
76 type register_t = int64_t;
78 type register_t = int32_t;
80 type integer_t = int32_t;
81 type natural_t = uint32_t;
84 * These are the VM types that scale with the address
85 * space size of a given process.
89 type vm_address_t = uint64_t;
90 type vm_offset_t = uint64_t;
91 type vm_size_t = uint64_t;
93 type vm_address_t = natural_t;
94 type vm_offset_t = natural_t;
95 type vm_size_t = natural_t;
99 * The mach_vm_xxx_t types are sized to hold the
100 * maximum pointer, offset, etc... supported on the
103 type mach_vm_address_t = uint64_t;
104 type mach_vm_offset_t = uint64_t;
105 type mach_vm_size_t = uint64_t;
109 * For the old IPC interface
111 #define MSG_TYPE_PORT_NAME natural_t
113 #endif /* MACH_IPC_COMPAT */
116 * These are types used internal to Mach to implement the
117 * legacy 32-bit VM APIs published by the kernel.
119 #define VM32_SUPPORT 1
121 type vm32_address_t = uint32_t;
122 type vm32_offset_t = uint32_t;
123 type vm32_size_t = uint32_t;
125 #endif /* _MACHINE_VM_TYPES_DEFS_ */
127 /* vim: set ft=c : */