1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
|
/*
* Mach Operating System
* Copyright (c) 1992,1991,1990,1989,1988 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.
*/
/*
* File: vm_types.h
* Author: Avadis Tevanian, Jr.
* Date: 1985
*
* Header file for VM data types. I386 version.
*/
#ifndef _MACHINE_VM_TYPES_H_
#define _MACHINE_VM_TYPES_H_ 1
#ifdef __ASSEMBLER__
#else /* __ASSEMBLER__ */
#include <stdint.h>
#ifdef MACH_KERNEL
#include <kern/assert.h>
#endif
/*
* A natural_t is the type for the native
* unsigned integer type, usually 32 bits. It is suitable for
* most counters with a small chance of overflow.
* While historically natural_t was meant to be the same
* as a pointer, that is not the case here.
*/
typedef unsigned int natural_t;
/*
* An integer_t is the signed counterpart
* of the natural_t type. Both types are
* only supposed to be used to define
* other types in a machine-independent
* way.
*/
typedef int integer_t;
/*
* A long_natural_t is a possibly larger unsigned integer type than natural_t.
* Should be used instead of natural_t when we want the data to be less subject
* to overflows.
*/
typedef unsigned long long_natural_t;
/*
* Larger version of integer_t. Only used when we want to hold possibly larger
* values than what is possible with integer_t.
*/
typedef long long_integer_t;
/*
* A vm_offset_t is a type-neutral pointer,
* e.g. an offset into a virtual memory space.
*/
typedef uintptr_t vm_offset_t;
typedef vm_offset_t * vm_offset_array_t;
/*
* A type for physical addresses.
*/
#ifdef MACH_KERNEL
#ifdef PAE
typedef unsigned long long phys_addr_t;
#else /* PAE */
typedef unsigned long phys_addr_t;
#endif /* PAE */
#else
typedef unsigned long long phys_addr_t;
#endif
typedef unsigned long long rpc_phys_addr_t;
typedef rpc_phys_addr_t *rpc_phys_addr_array_t;
/*
* A vm_size_t is the proper type for e.g.
* expressing the difference between two
* vm_offset_t entities.
*/
typedef uintptr_t vm_size_t;
typedef vm_size_t * vm_size_array_t;
/*
* rpc_types are for user/kernel interfaces. On kernel side they may differ from
* the native types, while on user space they shall be the same.
* These three types are always of the same size, so we can reuse the conversion
* functions.
*/
#if defined(MACH_KERNEL) && defined(USER32)
typedef uint32_t rpc_uintptr_t;
typedef uint32_t rpc_vm_address_t;
typedef uint32_t rpc_vm_offset_t;
typedef uint32_t rpc_vm_size_t;
static inline uint64_t convert_vm_from_user(uint32_t uaddr)
{
return (uint64_t)uaddr;
}
static inline uint32_t convert_vm_to_user(uint64_t kaddr)
{
assert(kaddr <= 0xFFFFFFFF);
return (uint32_t)kaddr;
}
typedef uint32_t rpc_long_natural_t;
typedef int32_t rpc_long_integer_t;
static inline int64_t convert_long_integer_from_user(int32_t i)
{
return (int64_t)i;
}
static inline int32_t convert_long_integer_to_user(int64_t i)
{
assert(i <= 0x7FFFFFFF);
return (int32_t)i;
}
typedef uint32_t rpc_long_natural_t;
typedef int32_t rpc_long_integer_t;
#else /* MACH_KERNEL */
typedef uintptr_t rpc_uintptr_t;
typedef vm_offset_t rpc_vm_address_t;
typedef vm_offset_t rpc_vm_offset_t;
typedef vm_size_t rpc_vm_size_t;
#define convert_vm_to_user null_conversion
#define convert_vm_from_user null_conversion
typedef long_natural_t rpc_long_natural_t;
typedef long_integer_t rpc_long_integer_t;
#define convert_long_integer_to_user null_conversion
#define convert_long_integer_from_user null_conversion
#endif /* MACH_KERNEL */
#define convert_long_natural_to_user convert_vm_to_user
#define convert_long_natural_from_user convert_vm_from_user
typedef rpc_vm_size_t * rpc_vm_size_array_t;
typedef rpc_vm_offset_t * rpc_vm_offset_array_t;
#endif /* __ASSEMBLER__ */
/*
* If composing messages by hand (please dont)
*/
#define MACH_MSG_TYPE_INTEGER_T MACH_MSG_TYPE_INTEGER_32
#endif /* _MACHINE_VM_TYPES_H_ */
|
