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
|
/*
* 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
* integer type, e.g. 32 or 64 or.. whatever
* register size the machine has. Unsigned, it is
* used for entities that might be either
* unsigned integers or pointers, and for
* type-casting between the two.
* For instance, the IPC system represents
* a port in user space as an integer and
* in kernel space as a pointer.
*/
#ifdef __x86_64__
// unsigned long ?
#endif
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 vm_offset_t is a type-neutral pointer,
* e.g. an offset into a virtual memory space.
*/
typedef unsigned long 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;
/*
* A vm_size_t is the proper type for e.g.
* expressing the difference between two
* vm_offset_t entities.
*/
typedef unsigned long 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_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;
}
#else /* MACH_KERNEL */
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
#endif /* MACH_KERNEL */
#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_ */
|
