File: | obj-scan-build/../vm/vm_map.c |
Location: | line 3390, column 4 |
Description: | Value stored to 'src_size' is never read |
1 | /* |
2 | * Mach Operating System |
3 | * Copyright (c) 1991,1990,1989,1988,1987 Carnegie Mellon University. |
4 | * Copyright (c) 1993,1994 The University of Utah and |
5 | * the Computer Systems Laboratory (CSL). |
6 | * All rights reserved. |
7 | * |
8 | * Permission to use, copy, modify and distribute this software and its |
9 | * documentation is hereby granted, provided that both the copyright |
10 | * notice and this permission notice appear in all copies of the |
11 | * software, derivative works or modified versions, and any portions |
12 | * thereof, and that both notices appear in supporting documentation. |
13 | * |
14 | * CARNEGIE MELLON, THE UNIVERSITY OF UTAH AND CSL ALLOW FREE USE OF |
15 | * THIS SOFTWARE IN ITS "AS IS" CONDITION, AND DISCLAIM ANY LIABILITY |
16 | * OF ANY KIND FOR ANY DAMAGES WHATSOEVER RESULTING FROM THE USE OF |
17 | * THIS SOFTWARE. |
18 | * |
19 | * Carnegie Mellon requests users of this software to return to |
20 | * |
21 | * Software Distribution Coordinator or Software.Distribution@CS.CMU.EDU |
22 | * School of Computer Science |
23 | * Carnegie Mellon University |
24 | * Pittsburgh PA 15213-3890 |
25 | * |
26 | * any improvements or extensions that they make and grant Carnegie Mellon |
27 | * the rights to redistribute these changes. |
28 | */ |
29 | /* |
30 | * File: vm/vm_map.c |
31 | * Author: Avadis Tevanian, Jr., Michael Wayne Young |
32 | * Date: 1985 |
33 | * |
34 | * Virtual memory mapping module. |
35 | */ |
36 | |
37 | #include <kern/printf.h> |
38 | #include <mach/kern_return.h> |
39 | #include <mach/port.h> |
40 | #include <mach/vm_attributes.h> |
41 | #include <mach/vm_param.h> |
42 | #include <kern/assert.h> |
43 | #include <kern/debug.h> |
44 | #include <kern/kalloc.h> |
45 | #include <kern/rbtree.h> |
46 | #include <kern/slab.h> |
47 | #include <vm/pmap.h> |
48 | #include <vm/vm_fault.h> |
49 | #include <vm/vm_map.h> |
50 | #include <vm/vm_object.h> |
51 | #include <vm/vm_page.h> |
52 | #include <vm/vm_resident.h> |
53 | #include <vm/vm_kern.h> |
54 | #include <ipc/ipc_port.h> |
55 | |
56 | #if MACH_KDB0 |
57 | #include <ddb/db_output.h> |
58 | #include <vm/vm_print.h> |
59 | #endif /* MACH_KDB */ |
60 | |
61 | |
62 | /* Forward declarations */ |
63 | kern_return_t vm_map_delete( |
64 | vm_map_t map, |
65 | vm_offset_t start, |
66 | vm_offset_t end); |
67 | |
68 | kern_return_t vm_map_copyout_page_list( |
69 | vm_map_t dst_map, |
70 | vm_offset_t *dst_addr, /* OUT */ |
71 | vm_map_copy_t copy); |
72 | |
73 | void vm_map_copy_page_discard (vm_map_copy_t copy); |
74 | |
75 | /* |
76 | * Macros to copy a vm_map_entry. We must be careful to correctly |
77 | * manage the wired page count. vm_map_entry_copy() creates a new |
78 | * map entry to the same memory - the wired count in the new entry |
79 | * must be set to zero. vm_map_entry_copy_full() creates a new |
80 | * entry that is identical to the old entry. This preserves the |
81 | * wire count; it's used for map splitting and cache changing in |
82 | * vm_map_copyout. |
83 | */ |
84 | #define vm_map_entry_copy(NEW,OLD)({ *(NEW) = *(OLD); (NEW)->is_shared = ((boolean_t) 0); (NEW )->needs_wakeup = ((boolean_t) 0); (NEW)->in_transition = ((boolean_t) 0); (NEW)->wired_count = 0; (NEW)->user_wired_count = 0; }) \({ |
85 | MACRO_BEGIN({ \ |
86 | *(NEW) = *(OLD); \ |
87 | (NEW)->is_shared = FALSE((boolean_t) 0); \ |
88 | (NEW)->needs_wakeup = FALSE((boolean_t) 0); \ |
89 | (NEW)->in_transition = FALSE((boolean_t) 0); \ |
90 | (NEW)->wired_count = 0; \ |
91 | (NEW)->user_wired_count = 0; \}) |
92 | MACRO_END}) |
93 | |
94 | #define vm_map_entry_copy_full(NEW,OLD)(*(NEW) = *(OLD)) (*(NEW) = *(OLD)) |
95 | |
96 | /* |
97 | * Virtual memory maps provide for the mapping, protection, |
98 | * and sharing of virtual memory objects. In addition, |
99 | * this module provides for an efficient virtual copy of |
100 | * memory from one map to another. |
101 | * |
102 | * Synchronization is required prior to most operations. |
103 | * |
104 | * Maps consist of an ordered doubly-linked list of simple |
105 | * entries; a hint and a red-black tree are used to speed up lookups. |
106 | * |
107 | * Sharing maps have been deleted from this version of Mach. |
108 | * All shared objects are now mapped directly into the respective |
109 | * maps. This requires a change in the copy on write strategy; |
110 | * the asymmetric (delayed) strategy is used for shared temporary |
111 | * objects instead of the symmetric (shadow) strategy. This is |
112 | * selected by the (new) use_shared_copy bit in the object. See |
113 | * vm_object_copy_temporary in vm_object.c for details. All maps |
114 | * are now "top level" maps (either task map, kernel map or submap |
115 | * of the kernel map). |
116 | * |
117 | * Since portions of maps are specified by start/end addreses, |
118 | * which may not align with existing map entries, all |
119 | * routines merely "clip" entries to these start/end values. |
120 | * [That is, an entry is split into two, bordering at a |
121 | * start or end value.] Note that these clippings may not |
122 | * always be necessary (as the two resulting entries are then |
123 | * not changed); however, the clipping is done for convenience. |
124 | * No attempt is currently made to "glue back together" two |
125 | * abutting entries. |
126 | * |
127 | * The symmetric (shadow) copy strategy implements virtual copy |
128 | * by copying VM object references from one map to |
129 | * another, and then marking both regions as copy-on-write. |
130 | * It is important to note that only one writeable reference |
131 | * to a VM object region exists in any map when this strategy |
132 | * is used -- this means that shadow object creation can be |
133 | * delayed until a write operation occurs. The asymmetric (delayed) |
134 | * strategy allows multiple maps to have writeable references to |
135 | * the same region of a vm object, and hence cannot delay creating |
136 | * its copy objects. See vm_object_copy_temporary() in vm_object.c. |
137 | * Copying of permanent objects is completely different; see |
138 | * vm_object_copy_strategically() in vm_object.c. |
139 | */ |
140 | |
141 | struct kmem_cache vm_map_cache; /* cache for vm_map structures */ |
142 | struct kmem_cache vm_map_entry_cache; /* cache for vm_map_entry structures */ |
143 | struct kmem_cache vm_map_kentry_cache; /* cache for kernel entry structures */ |
144 | struct kmem_cache vm_map_copy_cache; /* cache for vm_map_copy structures */ |
145 | |
146 | boolean_t vm_map_lookup_entry(); /* forward declaration */ |
147 | |
148 | /* |
149 | * Placeholder object for submap operations. This object is dropped |
150 | * into the range by a call to vm_map_find, and removed when |
151 | * vm_map_submap creates the submap. |
152 | */ |
153 | |
154 | static struct vm_object vm_submap_object_store; |
155 | vm_object_t vm_submap_object = &vm_submap_object_store; |
156 | |
157 | /* |
158 | * vm_map_init: |
159 | * |
160 | * Initialize the vm_map module. Must be called before |
161 | * any other vm_map routines. |
162 | * |
163 | * Map and entry structures are allocated from caches -- we must |
164 | * initialize those caches. |
165 | * |
166 | * There are three caches of interest: |
167 | * |
168 | * vm_map_cache: used to allocate maps. |
169 | * vm_map_entry_cache: used to allocate map entries. |
170 | * vm_map_kentry_cache: used to allocate map entries for the kernel. |
171 | * |
172 | * Kernel map entries are allocated from a special cache, using a custom |
173 | * page allocation function to avoid recursion. It would be difficult |
174 | * (perhaps impossible) for the kernel to allocate more memory to an entry |
175 | * cache when it became empty since the very act of allocating memory |
176 | * implies the creation of a new entry. |
177 | */ |
178 | |
179 | vm_offset_t kentry_data; |
180 | vm_size_t kentry_data_size = KENTRY_DATA_SIZE(256*(1 << 12)); |
181 | |
182 | static vm_offset_t kentry_pagealloc(vm_size_t size) |
183 | { |
184 | vm_offset_t result; |
185 | |
186 | if (size > kentry_data_size) |
187 | panic("vm_map: kentry memory exhausted"); |
188 | |
189 | result = kentry_data; |
190 | kentry_data += size; |
191 | kentry_data_size -= size; |
192 | return result; |
193 | } |
194 | |
195 | void vm_map_init(void) |
196 | { |
197 | kmem_cache_init(&vm_map_cache, "vm_map", sizeof(struct vm_map), 0, |
198 | NULL((void *) 0), NULL((void *) 0), NULL((void *) 0), 0); |
199 | kmem_cache_init(&vm_map_entry_cache, "vm_map_entry", |
200 | sizeof(struct vm_map_entry), 0, NULL((void *) 0), NULL((void *) 0), NULL((void *) 0), 0); |
201 | kmem_cache_init(&vm_map_kentry_cache, "vm_map_kentry", |
202 | sizeof(struct vm_map_entry), 0, NULL((void *) 0), kentry_pagealloc, |
203 | NULL((void *) 0), KMEM_CACHE_NOCPUPOOL0x1 | KMEM_CACHE_NOOFFSLAB0x2 |
204 | | KMEM_CACHE_NORECLAIM0x4); |
205 | kmem_cache_init(&vm_map_copy_cache, "vm_map_copy", |
206 | sizeof(struct vm_map_copy), 0, NULL((void *) 0), NULL((void *) 0), NULL((void *) 0), 0); |
207 | |
208 | /* |
209 | * Submap object is initialized by vm_object_init. |
210 | */ |
211 | } |
212 | |
213 | void vm_map_setup(map, pmap, min, max, pageable) |
214 | vm_map_t map; |
215 | pmap_t pmap; |
216 | vm_offset_t min, max; |
217 | boolean_t pageable; |
218 | { |
219 | vm_map_first_entry(map)((map)->hdr.links.next) = vm_map_to_entry(map)((struct vm_map_entry *) &(map)->hdr.links); |
220 | vm_map_last_entry(map)((map)->hdr.links.prev) = vm_map_to_entry(map)((struct vm_map_entry *) &(map)->hdr.links); |
221 | map->hdr.nentries = 0; |
222 | map->hdr.entries_pageable = pageable; |
223 | rbtree_init(&map->hdr.tree); |
224 | |
225 | map->size = 0; |
226 | map->ref_count = 1; |
227 | map->pmap = pmap; |
228 | map->min_offsethdr.links.start = min; |
229 | map->max_offsethdr.links.end = max; |
230 | map->wiring_required = FALSE((boolean_t) 0); |
231 | map->wait_for_space = FALSE((boolean_t) 0); |
232 | map->first_free = vm_map_to_entry(map)((struct vm_map_entry *) &(map)->hdr.links); |
233 | map->hint = vm_map_to_entry(map)((struct vm_map_entry *) &(map)->hdr.links); |
234 | vm_map_lock_init(map)({ lock_init(&(map)->lock, ((boolean_t) 1)); (map)-> timestamp = 0; }); |
235 | simple_lock_init(&map->ref_lock); |
236 | simple_lock_init(&map->hint_lock); |
237 | } |
238 | |
239 | /* |
240 | * vm_map_create: |
241 | * |
242 | * Creates and returns a new empty VM map with |
243 | * the given physical map structure, and having |
244 | * the given lower and upper address bounds. |
245 | */ |
246 | vm_map_t vm_map_create(pmap, min, max, pageable) |
247 | pmap_t pmap; |
248 | vm_offset_t min, max; |
249 | boolean_t pageable; |
250 | { |
251 | vm_map_t result; |
252 | |
253 | result = (vm_map_t) kmem_cache_alloc(&vm_map_cache); |
254 | if (result == VM_MAP_NULL((vm_map_t) 0)) |
255 | panic("vm_map_create"); |
256 | |
257 | vm_map_setup(result, pmap, min, max, pageable); |
258 | |
259 | return(result); |
260 | } |
261 | |
262 | /* |
263 | * vm_map_entry_create: [ internal use only ] |
264 | * |
265 | * Allocates a VM map entry for insertion in the |
266 | * given map (or map copy). No fields are filled. |
267 | */ |
268 | #define vm_map_entry_create(map)_vm_map_entry_create(&(map)->hdr) \ |
269 | _vm_map_entry_create(&(map)->hdr) |
270 | |
271 | #define vm_map_copy_entry_create(copy)_vm_map_entry_create(&(copy)->c_u.hdr) \ |
272 | _vm_map_entry_create(&(copy)->cpy_hdrc_u.hdr) |
273 | |
274 | vm_map_entry_t _vm_map_entry_create(map_header) |
275 | struct vm_map_header *map_header; |
276 | { |
277 | kmem_cache_t cache; |
278 | vm_map_entry_t entry; |
279 | |
280 | if (map_header->entries_pageable) |
281 | cache = &vm_map_entry_cache; |
282 | else |
283 | cache = &vm_map_kentry_cache; |
284 | |
285 | entry = (vm_map_entry_t) kmem_cache_alloc(cache); |
286 | if (entry == VM_MAP_ENTRY_NULL((vm_map_entry_t) 0)) |
287 | panic("vm_map_entry_create"); |
288 | |
289 | return(entry); |
290 | } |
291 | |
292 | /* |
293 | * vm_map_entry_dispose: [ internal use only ] |
294 | * |
295 | * Inverse of vm_map_entry_create. |
296 | */ |
297 | #define vm_map_entry_dispose(map, entry)_vm_map_entry_dispose(&(map)->hdr, (entry)) \ |
298 | _vm_map_entry_dispose(&(map)->hdr, (entry)) |
299 | |
300 | #define vm_map_copy_entry_dispose(map, entry)_vm_map_entry_dispose(&(copy)->c_u.hdr, (entry)) \ |
301 | _vm_map_entry_dispose(&(copy)->cpy_hdrc_u.hdr, (entry)) |
302 | |
303 | void _vm_map_entry_dispose(map_header, entry) |
304 | struct vm_map_header *map_header; |
305 | vm_map_entry_t entry; |
306 | { |
307 | kmem_cache_t cache; |
308 | |
309 | if (map_header->entries_pageable) |
310 | cache = &vm_map_entry_cache; |
311 | else |
312 | cache = &vm_map_kentry_cache; |
313 | |
314 | kmem_cache_free(cache, (vm_offset_t) entry); |
315 | } |
316 | |
317 | /* |
318 | * Red-black tree lookup/insert comparison functions |
319 | */ |
320 | static inline int vm_map_entry_cmp_lookup(vm_offset_t addr, |
321 | const struct rbtree_node *node) |
322 | { |
323 | struct vm_map_entry *entry; |
324 | |
325 | entry = rbtree_entry(node, struct vm_map_entry, tree_node)((struct vm_map_entry *)((char *)node - __builtin_offsetof (struct vm_map_entry, tree_node))); |
326 | |
327 | if (addr < entry->vme_startlinks.start) |
328 | return -1; |
329 | else if (addr < entry->vme_endlinks.end) |
330 | return 0; |
331 | else |
332 | return 1; |
333 | } |
334 | |
335 | static inline int vm_map_entry_cmp_insert(const struct rbtree_node *a, |
336 | const struct rbtree_node *b) |
337 | { |
338 | struct vm_map_entry *entry; |
339 | |
340 | entry = rbtree_entry(a, struct vm_map_entry, tree_node)((struct vm_map_entry *)((char *)a - __builtin_offsetof (struct vm_map_entry, tree_node))); |
341 | return vm_map_entry_cmp_lookup(entry->vme_startlinks.start, b); |
342 | } |
343 | |
344 | /* |
345 | * vm_map_entry_{un,}link: |
346 | * |
347 | * Insert/remove entries from maps (or map copies). |
348 | * |
349 | * The start and end addresses of the entries must be properly set |
350 | * before using these macros. |
351 | */ |
352 | #define vm_map_entry_link(map, after_where, entry)({ (&(map)->hdr)->nentries++; (entry)->links.prev = (after_where); (entry)->links.next = (after_where)-> links.next; (entry)->links.prev->links.next = (entry)-> links.next->links.prev = (entry); ({ struct rbtree_node *___cur , *___prev; int ___diff, ___index; ___prev = ((void *) 0); ___index = -1; ___cur = (&(&(map)->hdr)->tree)->root ; while (___cur != ((void *) 0)) { ___diff = vm_map_entry_cmp_insert (&(entry)->tree_node, ___cur); ({ if (!(___diff != 0)) Assert("___diff != 0", "../vm/vm_map.c", 352); }); ___prev = ___cur; ___index = rbtree_d2i(___diff); ___cur = ___cur-> children[___index]; } rbtree_insert_rebalance(&(&(map )->hdr)->tree, ___prev, ___index, &(entry)->tree_node ); }); }) \ |
353 | _vm_map_entry_link(&(map)->hdr, after_where, entry)({ (&(map)->hdr)->nentries++; (entry)->links.prev = (after_where); (entry)->links.next = (after_where)-> links.next; (entry)->links.prev->links.next = (entry)-> links.next->links.prev = (entry); ({ struct rbtree_node *___cur , *___prev; int ___diff, ___index; ___prev = ((void *) 0); ___index = -1; ___cur = (&(&(map)->hdr)->tree)->root ; while (___cur != ((void *) 0)) { ___diff = vm_map_entry_cmp_insert (&(entry)->tree_node, ___cur); ({ if (!(___diff != 0)) Assert("___diff != 0", "../vm/vm_map.c", 353); }); ___prev = ___cur; ___index = rbtree_d2i(___diff); ___cur = ___cur-> children[___index]; } rbtree_insert_rebalance(&(&(map )->hdr)->tree, ___prev, ___index, &(entry)->tree_node ); }); }) |
354 | |
355 | #define vm_map_copy_entry_link(copy, after_where, entry)({ (&(copy)->c_u.hdr)->nentries++; (entry)->links .prev = (after_where); (entry)->links.next = (after_where) ->links.next; (entry)->links.prev->links.next = (entry )->links.next->links.prev = (entry); ({ struct rbtree_node *___cur, *___prev; int ___diff, ___index; ___prev = ((void * ) 0); ___index = -1; ___cur = (&(&(copy)->c_u.hdr) ->tree)->root; while (___cur != ((void *) 0)) { ___diff = vm_map_entry_cmp_insert(&(entry)->tree_node, ___cur ); ({ if (!(___diff != 0)) Assert("___diff != 0", "../vm/vm_map.c" , 355); }); ___prev = ___cur; ___index = rbtree_d2i(___diff); ___cur = ___cur->children[___index]; } rbtree_insert_rebalance (&(&(copy)->c_u.hdr)->tree, ___prev, ___index, & (entry)->tree_node); }); }) \ |
356 | _vm_map_entry_link(&(copy)->cpy_hdr, after_where, entry)({ (&(copy)->c_u.hdr)->nentries++; (entry)->links .prev = (after_where); (entry)->links.next = (after_where) ->links.next; (entry)->links.prev->links.next = (entry )->links.next->links.prev = (entry); ({ struct rbtree_node *___cur, *___prev; int ___diff, ___index; ___prev = ((void * ) 0); ___index = -1; ___cur = (&(&(copy)->c_u.hdr) ->tree)->root; while (___cur != ((void *) 0)) { ___diff = vm_map_entry_cmp_insert(&(entry)->tree_node, ___cur ); ({ if (!(___diff != 0)) Assert("___diff != 0", "../vm/vm_map.c" , 356); }); ___prev = ___cur; ___index = rbtree_d2i(___diff); ___cur = ___cur->children[___index]; } rbtree_insert_rebalance (&(&(copy)->c_u.hdr)->tree, ___prev, ___index, & (entry)->tree_node); }); }) |
357 | |
358 | #define _vm_map_entry_link(hdr, after_where, entry)({ (hdr)->nentries++; (entry)->links.prev = (after_where ); (entry)->links.next = (after_where)->links.next; (entry )->links.prev->links.next = (entry)->links.next-> links.prev = (entry); ({ struct rbtree_node *___cur, *___prev ; int ___diff, ___index; ___prev = ((void *) 0); ___index = - 1; ___cur = (&(hdr)->tree)->root; while (___cur != ( (void *) 0)) { ___diff = vm_map_entry_cmp_insert(&(entry) ->tree_node, ___cur); ({ if (!(___diff != 0)) Assert("___diff != 0" , "../vm/vm_map.c", 358); }); ___prev = ___cur; ___index = rbtree_d2i (___diff); ___cur = ___cur->children[___index]; } rbtree_insert_rebalance (&(hdr)->tree, ___prev, ___index, &(entry)->tree_node ); }); }) \ |
359 | MACRO_BEGIN({ \ |
360 | (hdr)->nentries++; \ |
361 | (entry)->vme_prevlinks.prev = (after_where); \ |
362 | (entry)->vme_nextlinks.next = (after_where)->vme_nextlinks.next; \ |
363 | (entry)->vme_prevlinks.prev->vme_nextlinks.next = \ |
364 | (entry)->vme_nextlinks.next->vme_prevlinks.prev = (entry); \ |
365 | rbtree_insert(&(hdr)->tree, &(entry)->tree_node, \({ struct rbtree_node *___cur, *___prev; int ___diff, ___index ; ___prev = ((void *) 0); ___index = -1; ___cur = (&(hdr) ->tree)->root; while (___cur != ((void *) 0)) { ___diff = vm_map_entry_cmp_insert(&(entry)->tree_node, ___cur ); ({ if (!(___diff != 0)) Assert("___diff != 0", "../vm/vm_map.c" , 366); }); ___prev = ___cur; ___index = rbtree_d2i(___diff); ___cur = ___cur->children[___index]; } rbtree_insert_rebalance (&(hdr)->tree, ___prev, ___index, &(entry)->tree_node ); }) |
366 | vm_map_entry_cmp_insert)({ struct rbtree_node *___cur, *___prev; int ___diff, ___index ; ___prev = ((void *) 0); ___index = -1; ___cur = (&(hdr) ->tree)->root; while (___cur != ((void *) 0)) { ___diff = vm_map_entry_cmp_insert(&(entry)->tree_node, ___cur ); ({ if (!(___diff != 0)) Assert("___diff != 0", "../vm/vm_map.c" , 366); }); ___prev = ___cur; ___index = rbtree_d2i(___diff); ___cur = ___cur->children[___index]; } rbtree_insert_rebalance (&(hdr)->tree, ___prev, ___index, &(entry)->tree_node ); }); \ |
367 | MACRO_END}) |
368 | |
369 | #define vm_map_entry_unlink(map, entry)({ (&(map)->hdr)->nentries--; (entry)->links.next ->links.prev = (entry)->links.prev; (entry)->links.prev ->links.next = (entry)->links.next; rbtree_remove(& (&(map)->hdr)->tree, &(entry)->tree_node); } ) \ |
370 | _vm_map_entry_unlink(&(map)->hdr, entry)({ (&(map)->hdr)->nentries--; (entry)->links.next ->links.prev = (entry)->links.prev; (entry)->links.prev ->links.next = (entry)->links.next; rbtree_remove(& (&(map)->hdr)->tree, &(entry)->tree_node); } ) |
371 | |
372 | #define vm_map_copy_entry_unlink(copy, entry)({ (&(copy)->c_u.hdr)->nentries--; (entry)->links .next->links.prev = (entry)->links.prev; (entry)->links .prev->links.next = (entry)->links.next; rbtree_remove( &(&(copy)->c_u.hdr)->tree, &(entry)->tree_node ); }) \ |
373 | _vm_map_entry_unlink(&(copy)->cpy_hdr, entry)({ (&(copy)->c_u.hdr)->nentries--; (entry)->links .next->links.prev = (entry)->links.prev; (entry)->links .prev->links.next = (entry)->links.next; rbtree_remove( &(&(copy)->c_u.hdr)->tree, &(entry)->tree_node ); }) |
374 | |
375 | #define _vm_map_entry_unlink(hdr, entry)({ (hdr)->nentries--; (entry)->links.next->links.prev = (entry)->links.prev; (entry)->links.prev->links.next = (entry)->links.next; rbtree_remove(&(hdr)->tree, &(entry)->tree_node); }) \ |
376 | MACRO_BEGIN({ \ |
377 | (hdr)->nentries--; \ |
378 | (entry)->vme_nextlinks.next->vme_prevlinks.prev = (entry)->vme_prevlinks.prev; \ |
379 | (entry)->vme_prevlinks.prev->vme_nextlinks.next = (entry)->vme_nextlinks.next; \ |
380 | rbtree_remove(&(hdr)->tree, &(entry)->tree_node); \ |
381 | MACRO_END}) |
382 | |
383 | /* |
384 | * vm_map_reference: |
385 | * |
386 | * Creates another valid reference to the given map. |
387 | * |
388 | */ |
389 | void vm_map_reference(map) |
390 | vm_map_t map; |
391 | { |
392 | if (map == VM_MAP_NULL((vm_map_t) 0)) |
393 | return; |
394 | |
395 | simple_lock(&map->ref_lock); |
396 | map->ref_count++; |
397 | simple_unlock(&map->ref_lock); |
398 | } |
399 | |
400 | /* |
401 | * vm_map_deallocate: |
402 | * |
403 | * Removes a reference from the specified map, |
404 | * destroying it if no references remain. |
405 | * The map should not be locked. |
406 | */ |
407 | void vm_map_deallocate(map) |
408 | vm_map_t map; |
409 | { |
410 | int c; |
411 | |
412 | if (map == VM_MAP_NULL((vm_map_t) 0)) |
413 | return; |
414 | |
415 | simple_lock(&map->ref_lock); |
416 | c = --map->ref_count; |
417 | simple_unlock(&map->ref_lock); |
418 | |
419 | if (c > 0) { |
420 | return; |
421 | } |
422 | |
423 | projected_buffer_collect(map); |
424 | (void) vm_map_delete(map, map->min_offsethdr.links.start, map->max_offsethdr.links.end); |
425 | |
426 | pmap_destroy(map->pmap); |
427 | |
428 | kmem_cache_free(&vm_map_cache, (vm_offset_t) map); |
429 | } |
430 | |
431 | /* |
432 | * SAVE_HINT: |
433 | * |
434 | * Saves the specified entry as the hint for |
435 | * future lookups. Performs necessary interlocks. |
436 | */ |
437 | #define SAVE_HINT(map,value); (map)->hint = (value); ; \ |
438 | simple_lock(&(map)->hint_lock); \ |
439 | (map)->hint = (value); \ |
440 | simple_unlock(&(map)->hint_lock); |
441 | |
442 | /* |
443 | * vm_map_lookup_entry: [ internal use only ] |
444 | * |
445 | * Finds the map entry containing (or |
446 | * immediately preceding) the specified address |
447 | * in the given map; the entry is returned |
448 | * in the "entry" parameter. The boolean |
449 | * result indicates whether the address is |
450 | * actually contained in the map. |
451 | */ |
452 | boolean_t vm_map_lookup_entry(map, address, entry) |
453 | vm_map_t map; |
454 | vm_offset_t address; |
455 | vm_map_entry_t *entry; /* OUT */ |
456 | { |
457 | struct rbtree_node *node; |
458 | vm_map_entry_t hint; |
459 | |
460 | /* |
461 | * First, make a quick check to see if we are already |
462 | * looking at the entry we want (which is often the case). |
463 | */ |
464 | |
465 | simple_lock(&map->hint_lock); |
466 | hint = map->hint; |
467 | simple_unlock(&map->hint_lock); |
468 | |
469 | if ((hint != vm_map_to_entry(map)((struct vm_map_entry *) &(map)->hdr.links)) && (address >= hint->vme_startlinks.start)) { |
470 | if (address < hint->vme_endlinks.end) { |
471 | *entry = hint; |
472 | return(TRUE((boolean_t) 1)); |
473 | } else { |
474 | vm_map_entry_t next = hint->vme_nextlinks.next; |
475 | |
476 | if ((next == vm_map_to_entry(map)((struct vm_map_entry *) &(map)->hdr.links)) |
477 | || (address < next->vme_startlinks.start)) { |
478 | *entry = hint; |
479 | return(FALSE((boolean_t) 0)); |
480 | } |
481 | } |
482 | } |
483 | |
484 | /* |
485 | * If the hint didn't help, use the red-black tree. |
486 | */ |
487 | |
488 | node = rbtree_lookup_nearest(&map->hdr.tree, address,({ struct rbtree_node *___cur, *___prev; int ___diff, ___index ; ___prev = ((void *) 0); ___index = -1; ___cur = (&map-> hdr.tree)->root; while (___cur != ((void *) 0)) { ___diff = vm_map_entry_cmp_lookup(address, ___cur); if (___diff == 0) break ; ___prev = ___cur; ___index = rbtree_d2i(___diff); ___cur = ___cur ->children[___index]; } if (___cur == ((void *) 0)) ___cur = rbtree_nearest(___prev, ___index, 0); ___cur; }) |
489 | vm_map_entry_cmp_lookup, RBTREE_LEFT)({ struct rbtree_node *___cur, *___prev; int ___diff, ___index ; ___prev = ((void *) 0); ___index = -1; ___cur = (&map-> hdr.tree)->root; while (___cur != ((void *) 0)) { ___diff = vm_map_entry_cmp_lookup(address, ___cur); if (___diff == 0) break ; ___prev = ___cur; ___index = rbtree_d2i(___diff); ___cur = ___cur ->children[___index]; } if (___cur == ((void *) 0)) ___cur = rbtree_nearest(___prev, ___index, 0); ___cur; }); |
490 | |
491 | if (node == NULL((void *) 0)) { |
492 | *entry = vm_map_to_entry(map)((struct vm_map_entry *) &(map)->hdr.links); |
493 | SAVE_HINT(map, *entry); (map)->hint = (*entry); ;; |
494 | return(FALSE((boolean_t) 0)); |
495 | } else { |
496 | *entry = rbtree_entry(node, struct vm_map_entry, tree_node)((struct vm_map_entry *)((char *)node - __builtin_offsetof (struct vm_map_entry, tree_node))); |
497 | SAVE_HINT(map, *entry); (map)->hint = (*entry); ;; |
498 | return((address < (*entry)->vme_endlinks.end) ? TRUE((boolean_t) 1) : FALSE((boolean_t) 0)); |
499 | } |
500 | } |
501 | |
502 | /* |
503 | * Routine: invalid_user_access |
504 | * |
505 | * Verifies whether user access is valid. |
506 | */ |
507 | |
508 | boolean_t |
509 | invalid_user_access(map, start, end, prot) |
510 | vm_map_t map; |
511 | vm_offset_t start, end; |
512 | vm_prot_t prot; |
513 | { |
514 | vm_map_entry_t entry; |
515 | |
516 | return (map == VM_MAP_NULL((vm_map_t) 0) || map == kernel_map || |
517 | !vm_map_lookup_entry(map, start, &entry) || |
518 | entry->vme_endlinks.end < end || |
519 | (prot & ~(entry->protection))); |
520 | } |
521 | |
522 | |
523 | /* |
524 | * Routine: vm_map_find_entry |
525 | * Purpose: |
526 | * Allocate a range in the specified virtual address map, |
527 | * returning the entry allocated for that range. |
528 | * Used by kmem_alloc, etc. Returns wired entries. |
529 | * |
530 | * The map must be locked. |
531 | * |
532 | * If an entry is allocated, the object/offset fields |
533 | * are initialized to zero. If an object is supplied, |
534 | * then an existing entry may be extended. |
535 | */ |
536 | kern_return_t vm_map_find_entry(map, address, size, mask, object, o_entry) |
537 | vm_map_t map; |
538 | vm_offset_t *address; /* OUT */ |
539 | vm_size_t size; |
540 | vm_offset_t mask; |
541 | vm_object_t object; |
542 | vm_map_entry_t *o_entry; /* OUT */ |
543 | { |
544 | vm_map_entry_t entry, new_entry; |
545 | vm_offset_t start; |
546 | vm_offset_t end; |
547 | |
548 | /* |
549 | * Look for the first possible address; |
550 | * if there's already something at this |
551 | * address, we have to start after it. |
552 | */ |
553 | |
554 | if ((entry = map->first_free) == vm_map_to_entry(map)((struct vm_map_entry *) &(map)->hdr.links)) |
555 | start = map->min_offsethdr.links.start; |
556 | else |
557 | start = entry->vme_endlinks.end; |
558 | |
559 | /* |
560 | * In any case, the "entry" always precedes |
561 | * the proposed new region throughout the loop: |
562 | */ |
563 | |
564 | while (TRUE((boolean_t) 1)) { |
565 | vm_map_entry_t next; |
566 | |
567 | /* |
568 | * Find the end of the proposed new region. |
569 | * Be sure we didn't go beyond the end, or |
570 | * wrap around the address. |
571 | */ |
572 | |
573 | if (((start + mask) & ~mask) < start) { |
574 | printf_once("no more room for vm_map_find_entry in %p\n", map)({ static int __once = 0; if (!__once) { printf("no more room for vm_map_find_entry in %p\n" , map); __once = 1; } }); |
575 | return(KERN_NO_SPACE3); |
576 | } |
577 | start = ((start + mask) & ~mask); |
578 | end = start + size; |
579 | |
580 | if ((end > map->max_offsethdr.links.end) || (end < start)) { |
581 | printf_once("no more room for vm_map_find_entry in %p\n", map)({ static int __once = 0; if (!__once) { printf("no more room for vm_map_find_entry in %p\n" , map); __once = 1; } }); |
582 | return(KERN_NO_SPACE3); |
583 | } |
584 | |
585 | /* |
586 | * If there are no more entries, we must win. |
587 | */ |
588 | |
589 | next = entry->vme_nextlinks.next; |
590 | if (next == vm_map_to_entry(map)((struct vm_map_entry *) &(map)->hdr.links)) |
591 | break; |
592 | |
593 | /* |
594 | * If there is another entry, it must be |
595 | * after the end of the potential new region. |
596 | */ |
597 | |
598 | if (next->vme_startlinks.start >= end) |
599 | break; |
600 | |
601 | /* |
602 | * Didn't fit -- move to the next entry. |
603 | */ |
604 | |
605 | entry = next; |
606 | start = entry->vme_endlinks.end; |
607 | } |
608 | |
609 | /* |
610 | * At this point, |
611 | * "start" and "end" should define the endpoints of the |
612 | * available new range, and |
613 | * "entry" should refer to the region before the new |
614 | * range, and |
615 | * |
616 | * the map should be locked. |
617 | */ |
618 | |
619 | *address = start; |
620 | |
621 | /* |
622 | * See whether we can avoid creating a new entry by |
623 | * extending one of our neighbors. [So far, we only attempt to |
624 | * extend from below.] |
625 | */ |
626 | |
627 | if ((object != VM_OBJECT_NULL((vm_object_t) 0)) && |
628 | (entry != vm_map_to_entry(map)((struct vm_map_entry *) &(map)->hdr.links)) && |
629 | (entry->vme_endlinks.end == start) && |
630 | (!entry->is_shared) && |
631 | (!entry->is_sub_map) && |
632 | (entry->object.vm_object == object) && |
633 | (entry->needs_copy == FALSE((boolean_t) 0)) && |
634 | (entry->inheritance == VM_INHERIT_DEFAULT((vm_inherit_t) 1)) && |
635 | (entry->protection == VM_PROT_DEFAULT(((vm_prot_t) 0x01)|((vm_prot_t) 0x02))) && |
636 | (entry->max_protection == VM_PROT_ALL(((vm_prot_t) 0x01)|((vm_prot_t) 0x02)|((vm_prot_t) 0x04))) && |
637 | (entry->wired_count == 1) && |
638 | (entry->user_wired_count == 0) && |
639 | (entry->projected_on == 0)) { |
640 | /* |
641 | * Because this is a special case, |
642 | * we don't need to use vm_object_coalesce. |
643 | */ |
644 | |
645 | entry->vme_endlinks.end = end; |
646 | new_entry = entry; |
647 | } else { |
648 | new_entry = vm_map_entry_create(map)_vm_map_entry_create(&(map)->hdr); |
649 | |
650 | new_entry->vme_startlinks.start = start; |
651 | new_entry->vme_endlinks.end = end; |
652 | |
653 | new_entry->is_shared = FALSE((boolean_t) 0); |
654 | new_entry->is_sub_map = FALSE((boolean_t) 0); |
655 | new_entry->object.vm_object = VM_OBJECT_NULL((vm_object_t) 0); |
656 | new_entry->offset = (vm_offset_t) 0; |
657 | |
658 | new_entry->needs_copy = FALSE((boolean_t) 0); |
659 | |
660 | new_entry->inheritance = VM_INHERIT_DEFAULT((vm_inherit_t) 1); |
661 | new_entry->protection = VM_PROT_DEFAULT(((vm_prot_t) 0x01)|((vm_prot_t) 0x02)); |
662 | new_entry->max_protection = VM_PROT_ALL(((vm_prot_t) 0x01)|((vm_prot_t) 0x02)|((vm_prot_t) 0x04)); |
663 | new_entry->wired_count = 1; |
664 | new_entry->user_wired_count = 0; |
665 | |
666 | new_entry->in_transition = FALSE((boolean_t) 0); |
667 | new_entry->needs_wakeup = FALSE((boolean_t) 0); |
668 | new_entry->projected_on = 0; |
669 | |
670 | /* |
671 | * Insert the new entry into the list |
672 | */ |
673 | |
674 | vm_map_entry_link(map, entry, new_entry)({ (&(map)->hdr)->nentries++; (new_entry)->links .prev = (entry); (new_entry)->links.next = (entry)->links .next; (new_entry)->links.prev->links.next = (new_entry )->links.next->links.prev = (new_entry); ({ struct rbtree_node *___cur, *___prev; int ___diff, ___index; ___prev = ((void * ) 0); ___index = -1; ___cur = (&(&(map)->hdr)-> tree)->root; while (___cur != ((void *) 0)) { ___diff = vm_map_entry_cmp_insert (&(new_entry)->tree_node, ___cur); ({ if (!(___diff != 0)) Assert("___diff != 0", "../vm/vm_map.c", 674); }); ___prev = ___cur; ___index = rbtree_d2i(___diff); ___cur = ___cur-> children[___index]; } rbtree_insert_rebalance(&(&(map )->hdr)->tree, ___prev, ___index, &(new_entry)-> tree_node); }); }); |
675 | } |
676 | |
677 | map->size += size; |
678 | |
679 | /* |
680 | * Update the free space hint and the lookup hint |
681 | */ |
682 | |
683 | map->first_free = new_entry; |
684 | SAVE_HINT(map, new_entry); (map)->hint = (new_entry); ;; |
685 | |
686 | *o_entry = new_entry; |
687 | return(KERN_SUCCESS0); |
688 | } |
689 | |
690 | int vm_map_pmap_enter_print = FALSE((boolean_t) 0); |
691 | int vm_map_pmap_enter_enable = FALSE((boolean_t) 0); |
692 | |
693 | /* |
694 | * Routine: vm_map_pmap_enter |
695 | * |
696 | * Description: |
697 | * Force pages from the specified object to be entered into |
698 | * the pmap at the specified address if they are present. |
699 | * As soon as a page not found in the object the scan ends. |
700 | * |
701 | * Returns: |
702 | * Nothing. |
703 | * |
704 | * In/out conditions: |
705 | * The source map should not be locked on entry. |
706 | */ |
707 | void |
708 | vm_map_pmap_enter(map, addr, end_addr, object, offset, protection) |
709 | vm_map_t map; |
710 | vm_offset_t addr; |
711 | vm_offset_t end_addr; |
712 | vm_object_t object; |
713 | vm_offset_t offset; |
714 | vm_prot_t protection; |
715 | { |
716 | while (addr < end_addr) { |
717 | vm_page_t m; |
718 | |
719 | vm_object_lock(object); |
720 | vm_object_paging_begin(object)((object)->paging_in_progress++); |
721 | |
722 | m = vm_page_lookup(object, offset); |
723 | if (m == VM_PAGE_NULL((vm_page_t) 0) || m->absent) { |
724 | vm_object_paging_end(object)({ ({ if (!((object)->paging_in_progress != 0)) Assert("(object)->paging_in_progress != 0" , "../vm/vm_map.c", 724); }); if (--(object)->paging_in_progress == 0) { ({ if ((object)->all_wanted & (1 << (2) )) thread_wakeup_prim(((event_t)(((vm_offset_t) object) + (2) )), ((boolean_t) 0), 0); (object)->all_wanted &= ~(1 << (2)); }); } }); |
725 | vm_object_unlock(object); |
726 | return; |
727 | } |
728 | |
729 | if (vm_map_pmap_enter_print) { |
730 | printf("vm_map_pmap_enter:"); |
731 | printf("map: %p, addr: %lx, object: %p, offset: %lx\n", |
732 | map, addr, object, offset); |
733 | } |
734 | |
735 | m->busy = TRUE((boolean_t) 1); |
736 | vm_object_unlock(object); |
737 | |
738 | PMAP_ENTER(map->pmap, addr, m,({ pmap_enter( (map->pmap), (addr), (m)->phys_addr, (protection ) & ~(m)->page_lock, (((boolean_t) 0)) ); }) |
739 | protection, FALSE)({ pmap_enter( (map->pmap), (addr), (m)->phys_addr, (protection ) & ~(m)->page_lock, (((boolean_t) 0)) ); }); |
740 | |
741 | vm_object_lock(object); |
742 | PAGE_WAKEUP_DONE(m)({ (m)->busy = ((boolean_t) 0); if ((m)->wanted) { (m)-> wanted = ((boolean_t) 0); thread_wakeup_prim((((event_t) m)), ((boolean_t) 0), 0); } }); |
743 | vm_page_lock_queues(); |
744 | if (!m->active && !m->inactive) |
745 | vm_page_activate(m); |
746 | vm_page_unlock_queues(); |
747 | vm_object_paging_end(object)({ ({ if (!((object)->paging_in_progress != 0)) Assert("(object)->paging_in_progress != 0" , "../vm/vm_map.c", 747); }); if (--(object)->paging_in_progress == 0) { ({ if ((object)->all_wanted & (1 << (2) )) thread_wakeup_prim(((event_t)(((vm_offset_t) object) + (2) )), ((boolean_t) 0), 0); (object)->all_wanted &= ~(1 << (2)); }); } }); |
748 | vm_object_unlock(object); |
749 | |
750 | offset += PAGE_SIZE(1 << 12); |
751 | addr += PAGE_SIZE(1 << 12); |
752 | } |
753 | } |
754 | |
755 | /* |
756 | * Routine: vm_map_enter |
757 | * |
758 | * Description: |
759 | * Allocate a range in the specified virtual address map. |
760 | * The resulting range will refer to memory defined by |
761 | * the given memory object and offset into that object. |
762 | * |
763 | * Arguments are as defined in the vm_map call. |
764 | */ |
765 | kern_return_t vm_map_enter( |
766 | map, |
767 | address, size, mask, anywhere, |
768 | object, offset, needs_copy, |
769 | cur_protection, max_protection, inheritance) |
770 | vm_map_t map; |
771 | vm_offset_t *address; /* IN/OUT */ |
772 | vm_size_t size; |
773 | vm_offset_t mask; |
774 | boolean_t anywhere; |
775 | vm_object_t object; |
776 | vm_offset_t offset; |
777 | boolean_t needs_copy; |
778 | vm_prot_t cur_protection; |
779 | vm_prot_t max_protection; |
780 | vm_inherit_t inheritance; |
781 | { |
782 | vm_map_entry_t entry; |
783 | vm_offset_t start; |
784 | vm_offset_t end; |
785 | kern_return_t result = KERN_SUCCESS0; |
786 | |
787 | #define RETURN(value) { result = value; goto BailOut; } |
788 | |
789 | if (size == 0) |
790 | return KERN_INVALID_ARGUMENT4; |
791 | |
792 | StartAgain: ; |
793 | |
794 | start = *address; |
795 | |
796 | if (anywhere) { |
797 | vm_map_lock(map)({ lock_write(&(map)->lock); (map)->timestamp++; }); |
798 | |
799 | /* |
800 | * Calculate the first possible address. |
801 | */ |
802 | |
803 | if (start < map->min_offsethdr.links.start) |
804 | start = map->min_offsethdr.links.start; |
805 | if (start > map->max_offsethdr.links.end) |
806 | RETURN(KERN_NO_SPACE3); |
807 | |
808 | /* |
809 | * Look for the first possible address; |
810 | * if there's already something at this |
811 | * address, we have to start after it. |
812 | */ |
813 | |
814 | if (start == map->min_offsethdr.links.start) { |
815 | if ((entry = map->first_free) != vm_map_to_entry(map)((struct vm_map_entry *) &(map)->hdr.links)) |
816 | start = entry->vme_endlinks.end; |
817 | } else { |
818 | vm_map_entry_t tmp_entry; |
819 | if (vm_map_lookup_entry(map, start, &tmp_entry)) |
820 | start = tmp_entry->vme_endlinks.end; |
821 | entry = tmp_entry; |
822 | } |
823 | |
824 | /* |
825 | * In any case, the "entry" always precedes |
826 | * the proposed new region throughout the |
827 | * loop: |
828 | */ |
829 | |
830 | while (TRUE((boolean_t) 1)) { |
831 | vm_map_entry_t next; |
832 | |
833 | /* |
834 | * Find the end of the proposed new region. |
835 | * Be sure we didn't go beyond the end, or |
836 | * wrap around the address. |
837 | */ |
838 | |
839 | if (((start + mask) & ~mask) < start) { |
840 | printf_once("no more room for vm_map_enter in %p\n", map)({ static int __once = 0; if (!__once) { printf("no more room for vm_map_enter in %p\n" , map); __once = 1; } }); |
841 | RETURN(KERN_NO_SPACE3); |
842 | } |
843 | start = ((start + mask) & ~mask); |
844 | end = start + size; |
845 | |
846 | if ((end > map->max_offsethdr.links.end) || (end < start)) { |
847 | if (map->wait_for_space) { |
848 | if (size <= (map->max_offsethdr.links.end - |
849 | map->min_offsethdr.links.start)) { |
850 | assert_wait((event_t) map, TRUE((boolean_t) 1)); |
851 | vm_map_unlock(map)lock_done(&(map)->lock); |
852 | thread_block((void (*)()) 0); |
853 | goto StartAgain; |
854 | } |
855 | } |
856 | |
857 | printf_once("no more room for vm_map_enter in %p\n", map)({ static int __once = 0; if (!__once) { printf("no more room for vm_map_enter in %p\n" , map); __once = 1; } }); |
858 | RETURN(KERN_NO_SPACE3); |
859 | } |
860 | |
861 | /* |
862 | * If there are no more entries, we must win. |
863 | */ |
864 | |
865 | next = entry->vme_nextlinks.next; |
866 | if (next == vm_map_to_entry(map)((struct vm_map_entry *) &(map)->hdr.links)) |
867 | break; |
868 | |
869 | /* |
870 | * If there is another entry, it must be |
871 | * after the end of the potential new region. |
872 | */ |
873 | |
874 | if (next->vme_startlinks.start >= end) |
875 | break; |
876 | |
877 | /* |
878 | * Didn't fit -- move to the next entry. |
879 | */ |
880 | |
881 | entry = next; |
882 | start = entry->vme_endlinks.end; |
883 | } |
884 | *address = start; |
885 | } else { |
886 | vm_map_entry_t temp_entry; |
887 | |
888 | /* |
889 | * Verify that: |
890 | * the address doesn't itself violate |
891 | * the mask requirement. |
892 | */ |
893 | |
894 | if ((start & mask) != 0) |
895 | return(KERN_NO_SPACE3); |
896 | |
897 | vm_map_lock(map)({ lock_write(&(map)->lock); (map)->timestamp++; }); |
898 | |
899 | /* |
900 | * ... the address is within bounds |
901 | */ |
902 | |
903 | end = start + size; |
904 | |
905 | if ((start < map->min_offsethdr.links.start) || |
906 | (end > map->max_offsethdr.links.end) || |
907 | (start >= end)) { |
908 | RETURN(KERN_INVALID_ADDRESS1); |
909 | } |
910 | |
911 | /* |
912 | * ... the starting address isn't allocated |
913 | */ |
914 | |
915 | if (vm_map_lookup_entry(map, start, &temp_entry)) |
916 | RETURN(KERN_NO_SPACE3); |
917 | |
918 | entry = temp_entry; |
919 | |
920 | /* |
921 | * ... the next region doesn't overlap the |
922 | * end point. |
923 | */ |
924 | |
925 | if ((entry->vme_nextlinks.next != vm_map_to_entry(map)((struct vm_map_entry *) &(map)->hdr.links)) && |
926 | (entry->vme_nextlinks.next->vme_startlinks.start < end)) |
927 | RETURN(KERN_NO_SPACE3); |
928 | } |
929 | |
930 | /* |
931 | * At this point, |
932 | * "start" and "end" should define the endpoints of the |
933 | * available new range, and |
934 | * "entry" should refer to the region before the new |
935 | * range, and |
936 | * |
937 | * the map should be locked. |
938 | */ |
939 | |
940 | /* |
941 | * See whether we can avoid creating a new entry (and object) by |
942 | * extending one of our neighbors. [So far, we only attempt to |
943 | * extend from below.] |
944 | */ |
945 | |
946 | if ((object == VM_OBJECT_NULL((vm_object_t) 0)) && |
947 | (entry != vm_map_to_entry(map)((struct vm_map_entry *) &(map)->hdr.links)) && |
948 | (entry->vme_endlinks.end == start) && |
949 | (!entry->is_shared) && |
950 | (!entry->is_sub_map) && |
951 | (entry->inheritance == inheritance) && |
952 | (entry->protection == cur_protection) && |
953 | (entry->max_protection == max_protection) && |
954 | (entry->wired_count == 0) && /* implies user_wired_count == 0 */ |
955 | (entry->projected_on == 0)) { |
956 | if (vm_object_coalesce(entry->object.vm_object, |
957 | VM_OBJECT_NULL((vm_object_t) 0), |
958 | entry->offset, |
959 | (vm_offset_t) 0, |
960 | (vm_size_t)(entry->vme_endlinks.end - entry->vme_startlinks.start), |
961 | (vm_size_t)(end - entry->vme_endlinks.end))) { |
962 | |
963 | /* |
964 | * Coalesced the two objects - can extend |
965 | * the previous map entry to include the |
966 | * new range. |
967 | */ |
968 | map->size += (end - entry->vme_endlinks.end); |
969 | entry->vme_endlinks.end = end; |
970 | RETURN(KERN_SUCCESS0); |
971 | } |
972 | } |
973 | |
974 | /* |
975 | * Create a new entry |
976 | */ |
977 | |
978 | /**/ { |
979 | vm_map_entry_t new_entry; |
980 | |
981 | new_entry = vm_map_entry_create(map)_vm_map_entry_create(&(map)->hdr); |
982 | |
983 | new_entry->vme_startlinks.start = start; |
984 | new_entry->vme_endlinks.end = end; |
985 | |
986 | new_entry->is_shared = FALSE((boolean_t) 0); |
987 | new_entry->is_sub_map = FALSE((boolean_t) 0); |
988 | new_entry->object.vm_object = object; |
989 | new_entry->offset = offset; |
990 | |
991 | new_entry->needs_copy = needs_copy; |
992 | |
993 | new_entry->inheritance = inheritance; |
994 | new_entry->protection = cur_protection; |
995 | new_entry->max_protection = max_protection; |
996 | new_entry->wired_count = 0; |
997 | new_entry->user_wired_count = 0; |
998 | |
999 | new_entry->in_transition = FALSE((boolean_t) 0); |
1000 | new_entry->needs_wakeup = FALSE((boolean_t) 0); |
1001 | new_entry->projected_on = 0; |
1002 | |
1003 | /* |
1004 | * Insert the new entry into the list |
1005 | */ |
1006 | |
1007 | vm_map_entry_link(map, entry, new_entry)({ (&(map)->hdr)->nentries++; (new_entry)->links .prev = (entry); (new_entry)->links.next = (entry)->links .next; (new_entry)->links.prev->links.next = (new_entry )->links.next->links.prev = (new_entry); ({ struct rbtree_node *___cur, *___prev; int ___diff, ___index; ___prev = ((void * ) 0); ___index = -1; ___cur = (&(&(map)->hdr)-> tree)->root; while (___cur != ((void *) 0)) { ___diff = vm_map_entry_cmp_insert (&(new_entry)->tree_node, ___cur); ({ if (!(___diff != 0)) Assert("___diff != 0", "../vm/vm_map.c", 1007); }); ___prev = ___cur; ___index = rbtree_d2i(___diff); ___cur = ___cur-> children[___index]; } rbtree_insert_rebalance(&(&(map )->hdr)->tree, ___prev, ___index, &(new_entry)-> tree_node); }); }); |
1008 | map->size += size; |
1009 | |
1010 | /* |
1011 | * Update the free space hint and the lookup hint |
1012 | */ |
1013 | |
1014 | if ((map->first_free == entry) && |
1015 | ((entry == vm_map_to_entry(map)((struct vm_map_entry *) &(map)->hdr.links) ? map->min_offsethdr.links.start : entry->vme_endlinks.end) |
1016 | >= new_entry->vme_startlinks.start)) |
1017 | map->first_free = new_entry; |
1018 | |
1019 | SAVE_HINT(map, new_entry); (map)->hint = (new_entry); ;; |
1020 | |
1021 | vm_map_unlock(map)lock_done(&(map)->lock); |
1022 | |
1023 | if ((object != VM_OBJECT_NULL((vm_object_t) 0)) && |
1024 | (vm_map_pmap_enter_enable) && |
1025 | (!anywhere) && |
1026 | (!needs_copy) && |
1027 | (size < (128*1024))) { |
1028 | vm_map_pmap_enter(map, start, end, |
1029 | object, offset, cur_protection); |
1030 | } |
1031 | |
1032 | return(result); |
1033 | /**/ } |
1034 | |
1035 | BailOut: ; |
1036 | |
1037 | vm_map_unlock(map)lock_done(&(map)->lock); |
1038 | return(result); |
1039 | |
1040 | #undef RETURN |
1041 | } |
1042 | |
1043 | /* |
1044 | * vm_map_clip_start: [ internal use only ] |
1045 | * |
1046 | * Asserts that the given entry begins at or after |
1047 | * the specified address; if necessary, |
1048 | * it splits the entry into two. |
1049 | */ |
1050 | void _vm_map_clip_start(); |
1051 | #define vm_map_clip_start(map, entry, startaddr)({ if ((startaddr) > (entry)->links.start) _vm_map_clip_start (&(map)->hdr,(entry),(startaddr)); }) \ |
1052 | MACRO_BEGIN({ \ |
1053 | if ((startaddr) > (entry)->vme_startlinks.start) \ |
1054 | _vm_map_clip_start(&(map)->hdr,(entry),(startaddr)); \ |
1055 | MACRO_END}) |
1056 | |
1057 | void _vm_map_copy_clip_start(); |
1058 | #define vm_map_copy_clip_start(copy, entry, startaddr)({ if ((startaddr) > (entry)->links.start) _vm_map_clip_start (&(copy)->c_u.hdr,(entry),(startaddr)); }) \ |
1059 | MACRO_BEGIN({ \ |
1060 | if ((startaddr) > (entry)->vme_startlinks.start) \ |
1061 | _vm_map_clip_start(&(copy)->cpy_hdrc_u.hdr,(entry),(startaddr)); \ |
1062 | MACRO_END}) |
1063 | |
1064 | /* |
1065 | * This routine is called only when it is known that |
1066 | * the entry must be split. |
1067 | */ |
1068 | void _vm_map_clip_start(map_header, entry, start) |
1069 | struct vm_map_header *map_header; |
1070 | vm_map_entry_t entry; |
1071 | vm_offset_t start; |
1072 | { |
1073 | vm_map_entry_t new_entry; |
1074 | |
1075 | /* |
1076 | * Split off the front portion -- |
1077 | * note that we must insert the new |
1078 | * entry BEFORE this one, so that |
1079 | * this entry has the specified starting |
1080 | * address. |
1081 | */ |
1082 | |
1083 | new_entry = _vm_map_entry_create(map_header); |
1084 | vm_map_entry_copy_full(new_entry, entry)(*(new_entry) = *(entry)); |
1085 | |
1086 | new_entry->vme_endlinks.end = start; |
1087 | entry->offset += (start - entry->vme_startlinks.start); |
1088 | entry->vme_startlinks.start = start; |
1089 | |
1090 | _vm_map_entry_link(map_header, entry->vme_prev, new_entry)({ (map_header)->nentries++; (new_entry)->links.prev = ( entry->links.prev); (new_entry)->links.next = (entry-> links.prev)->links.next; (new_entry)->links.prev->links .next = (new_entry)->links.next->links.prev = (new_entry ); ({ struct rbtree_node *___cur, *___prev; int ___diff, ___index ; ___prev = ((void *) 0); ___index = -1; ___cur = (&(map_header )->tree)->root; while (___cur != ((void *) 0)) { ___diff = vm_map_entry_cmp_insert(&(new_entry)->tree_node, ___cur ); ({ if (!(___diff != 0)) Assert("___diff != 0", "../vm/vm_map.c" , 1090); }); ___prev = ___cur; ___index = rbtree_d2i(___diff) ; ___cur = ___cur->children[___index]; } rbtree_insert_rebalance (&(map_header)->tree, ___prev, ___index, &(new_entry )->tree_node); }); }); |
1091 | |
1092 | if (entry->is_sub_map) |
1093 | vm_map_reference(new_entry->object.sub_map); |
1094 | else |
1095 | vm_object_reference(new_entry->object.vm_object); |
1096 | } |
1097 | |
1098 | /* |
1099 | * vm_map_clip_end: [ internal use only ] |
1100 | * |
1101 | * Asserts that the given entry ends at or before |
1102 | * the specified address; if necessary, |
1103 | * it splits the entry into two. |
1104 | */ |
1105 | void _vm_map_clip_end(); |
1106 | #define vm_map_clip_end(map, entry, endaddr)({ if ((endaddr) < (entry)->links.end) _vm_map_clip_end (&(map)->hdr,(entry),(endaddr)); }) \ |
1107 | MACRO_BEGIN({ \ |
1108 | if ((endaddr) < (entry)->vme_endlinks.end) \ |
1109 | _vm_map_clip_end(&(map)->hdr,(entry),(endaddr)); \ |
1110 | MACRO_END}) |
1111 | |
1112 | void _vm_map_copy_clip_end(); |
1113 | #define vm_map_copy_clip_end(copy, entry, endaddr)({ if ((endaddr) < (entry)->links.end) _vm_map_clip_end (&(copy)->c_u.hdr,(entry),(endaddr)); }) \ |
1114 | MACRO_BEGIN({ \ |
1115 | if ((endaddr) < (entry)->vme_endlinks.end) \ |
1116 | _vm_map_clip_end(&(copy)->cpy_hdrc_u.hdr,(entry),(endaddr)); \ |
1117 | MACRO_END}) |
1118 | |
1119 | /* |
1120 | * This routine is called only when it is known that |
1121 | * the entry must be split. |
1122 | */ |
1123 | void _vm_map_clip_end(map_header, entry, end) |
1124 | struct vm_map_header *map_header; |
1125 | vm_map_entry_t entry; |
1126 | vm_offset_t end; |
1127 | { |
1128 | vm_map_entry_t new_entry; |
1129 | |
1130 | /* |
1131 | * Create a new entry and insert it |
1132 | * AFTER the specified entry |
1133 | */ |
1134 | |
1135 | new_entry = _vm_map_entry_create(map_header); |
1136 | vm_map_entry_copy_full(new_entry, entry)(*(new_entry) = *(entry)); |
1137 | |
1138 | new_entry->vme_startlinks.start = entry->vme_endlinks.end = end; |
1139 | new_entry->offset += (end - entry->vme_startlinks.start); |
1140 | |
1141 | _vm_map_entry_link(map_header, entry, new_entry)({ (map_header)->nentries++; (new_entry)->links.prev = ( entry); (new_entry)->links.next = (entry)->links.next; ( new_entry)->links.prev->links.next = (new_entry)->links .next->links.prev = (new_entry); ({ struct rbtree_node *___cur , *___prev; int ___diff, ___index; ___prev = ((void *) 0); ___index = -1; ___cur = (&(map_header)->tree)->root; while ( ___cur != ((void *) 0)) { ___diff = vm_map_entry_cmp_insert(& (new_entry)->tree_node, ___cur); ({ if (!(___diff != 0)) Assert ("___diff != 0", "../vm/vm_map.c", 1141); }); ___prev = ___cur ; ___index = rbtree_d2i(___diff); ___cur = ___cur->children [___index]; } rbtree_insert_rebalance(&(map_header)->tree , ___prev, ___index, &(new_entry)->tree_node); }); }); |
1142 | |
1143 | if (entry->is_sub_map) |
1144 | vm_map_reference(new_entry->object.sub_map); |
1145 | else |
1146 | vm_object_reference(new_entry->object.vm_object); |
1147 | } |
1148 | |
1149 | /* |
1150 | * VM_MAP_RANGE_CHECK: [ internal use only ] |
1151 | * |
1152 | * Asserts that the starting and ending region |
1153 | * addresses fall within the valid range of the map. |
1154 | */ |
1155 | #define VM_MAP_RANGE_CHECK(map, start, end){ if (start < ((map)->hdr.links.start)) start = ((map)-> hdr.links.start); if (end > ((map)->hdr.links.end)) end = ((map)->hdr.links.end); if (start > end) start = end ; } \ |
1156 | { \ |
1157 | if (start < vm_map_min(map)((map)->hdr.links.start)) \ |
1158 | start = vm_map_min(map)((map)->hdr.links.start); \ |
1159 | if (end > vm_map_max(map)((map)->hdr.links.end)) \ |
1160 | end = vm_map_max(map)((map)->hdr.links.end); \ |
1161 | if (start > end) \ |
1162 | start = end; \ |
1163 | } |
1164 | |
1165 | /* |
1166 | * vm_map_submap: [ kernel use only ] |
1167 | * |
1168 | * Mark the given range as handled by a subordinate map. |
1169 | * |
1170 | * This range must have been created with vm_map_find using |
1171 | * the vm_submap_object, and no other operations may have been |
1172 | * performed on this range prior to calling vm_map_submap. |
1173 | * |
1174 | * Only a limited number of operations can be performed |
1175 | * within this rage after calling vm_map_submap: |
1176 | * vm_fault |
1177 | * [Don't try vm_map_copyin!] |
1178 | * |
1179 | * To remove a submapping, one must first remove the |
1180 | * range from the superior map, and then destroy the |
1181 | * submap (if desired). [Better yet, don't try it.] |
1182 | */ |
1183 | kern_return_t vm_map_submap(map, start, end, submap) |
1184 | vm_map_t map; |
1185 | vm_offset_t start; |
1186 | vm_offset_t end; |
1187 | vm_map_t submap; |
1188 | { |
1189 | vm_map_entry_t entry; |
1190 | kern_return_t result = KERN_INVALID_ARGUMENT4; |
1191 | vm_object_t object; |
1192 | |
1193 | vm_map_lock(map)({ lock_write(&(map)->lock); (map)->timestamp++; }); |
1194 | |
1195 | VM_MAP_RANGE_CHECK(map, start, end){ if (start < ((map)->hdr.links.start)) start = ((map)-> hdr.links.start); if (end > ((map)->hdr.links.end)) end = ((map)->hdr.links.end); if (start > end) start = end ; }; |
1196 | |
1197 | if (vm_map_lookup_entry(map, start, &entry)) { |
1198 | vm_map_clip_start(map, entry, start)({ if ((start) > (entry)->links.start) _vm_map_clip_start (&(map)->hdr,(entry),(start)); }); |
1199 | } |
1200 | else |
1201 | entry = entry->vme_nextlinks.next; |
1202 | |
1203 | vm_map_clip_end(map, entry, end)({ if ((end) < (entry)->links.end) _vm_map_clip_end(& (map)->hdr,(entry),(end)); }); |
1204 | |
1205 | if ((entry->vme_startlinks.start == start) && (entry->vme_endlinks.end == end) && |
1206 | (!entry->is_sub_map) && |
1207 | ((object = entry->object.vm_object) == vm_submap_object) && |
1208 | (object->resident_page_count == 0) && |
1209 | (object->copy == VM_OBJECT_NULL((vm_object_t) 0)) && |
1210 | (object->shadow == VM_OBJECT_NULL((vm_object_t) 0)) && |
1211 | (!object->pager_created)) { |
1212 | entry->object.vm_object = VM_OBJECT_NULL((vm_object_t) 0); |
1213 | vm_object_deallocate(object); |
1214 | entry->is_sub_map = TRUE((boolean_t) 1); |
1215 | vm_map_reference(entry->object.sub_map = submap); |
1216 | result = KERN_SUCCESS0; |
1217 | } |
1218 | vm_map_unlock(map)lock_done(&(map)->lock); |
1219 | |
1220 | return(result); |
1221 | } |
1222 | |
1223 | /* |
1224 | * vm_map_protect: |
1225 | * |
1226 | * Sets the protection of the specified address |
1227 | * region in the target map. If "set_max" is |
1228 | * specified, the maximum protection is to be set; |
1229 | * otherwise, only the current protection is affected. |
1230 | */ |
1231 | kern_return_t vm_map_protect(map, start, end, new_prot, set_max) |
1232 | vm_map_t map; |
1233 | vm_offset_t start; |
1234 | vm_offset_t end; |
1235 | vm_prot_t new_prot; |
1236 | boolean_t set_max; |
1237 | { |
1238 | vm_map_entry_t current; |
1239 | vm_map_entry_t entry; |
1240 | |
1241 | vm_map_lock(map)({ lock_write(&(map)->lock); (map)->timestamp++; }); |
1242 | |
1243 | VM_MAP_RANGE_CHECK(map, start, end){ if (start < ((map)->hdr.links.start)) start = ((map)-> hdr.links.start); if (end > ((map)->hdr.links.end)) end = ((map)->hdr.links.end); if (start > end) start = end ; }; |
1244 | |
1245 | if (vm_map_lookup_entry(map, start, &entry)) { |
1246 | vm_map_clip_start(map, entry, start)({ if ((start) > (entry)->links.start) _vm_map_clip_start (&(map)->hdr,(entry),(start)); }); |
1247 | } |
1248 | else |
1249 | entry = entry->vme_nextlinks.next; |
1250 | |
1251 | /* |
1252 | * Make a first pass to check for protection |
1253 | * violations. |
1254 | */ |
1255 | |
1256 | current = entry; |
1257 | while ((current != vm_map_to_entry(map)((struct vm_map_entry *) &(map)->hdr.links)) && |
1258 | (current->vme_startlinks.start < end)) { |
1259 | |
1260 | if (current->is_sub_map) { |
1261 | vm_map_unlock(map)lock_done(&(map)->lock); |
1262 | return(KERN_INVALID_ARGUMENT4); |
1263 | } |
1264 | if ((new_prot & (VM_PROT_NOTIFY((vm_prot_t) 0x10) | current->max_protection)) |
1265 | != new_prot) { |
1266 | vm_map_unlock(map)lock_done(&(map)->lock); |
1267 | return(KERN_PROTECTION_FAILURE2); |
1268 | } |
1269 | |
1270 | current = current->vme_nextlinks.next; |
1271 | } |
1272 | |
1273 | /* |
1274 | * Go back and fix up protections. |
1275 | * [Note that clipping is not necessary the second time.] |
1276 | */ |
1277 | |
1278 | current = entry; |
1279 | |
1280 | while ((current != vm_map_to_entry(map)((struct vm_map_entry *) &(map)->hdr.links)) && |
1281 | (current->vme_startlinks.start < end)) { |
1282 | |
1283 | vm_prot_t old_prot; |
1284 | |
1285 | vm_map_clip_end(map, current, end)({ if ((end) < (current)->links.end) _vm_map_clip_end(& (map)->hdr,(current),(end)); }); |
1286 | |
1287 | old_prot = current->protection; |
1288 | if (set_max) |
1289 | current->protection = |
1290 | (current->max_protection = new_prot) & |
1291 | old_prot; |
1292 | else |
1293 | current->protection = new_prot; |
1294 | |
1295 | /* |
1296 | * Update physical map if necessary. |
1297 | */ |
1298 | |
1299 | if (current->protection != old_prot) { |
1300 | pmap_protect(map->pmap, current->vme_startlinks.start, |
1301 | current->vme_endlinks.end, |
1302 | current->protection); |
1303 | } |
1304 | current = current->vme_nextlinks.next; |
1305 | } |
1306 | |
1307 | vm_map_unlock(map)lock_done(&(map)->lock); |
1308 | return(KERN_SUCCESS0); |
1309 | } |
1310 | |
1311 | /* |
1312 | * vm_map_inherit: |
1313 | * |
1314 | * Sets the inheritance of the specified address |
1315 | * range in the target map. Inheritance |
1316 | * affects how the map will be shared with |
1317 | * child maps at the time of vm_map_fork. |
1318 | */ |
1319 | kern_return_t vm_map_inherit(map, start, end, new_inheritance) |
1320 | vm_map_t map; |
1321 | vm_offset_t start; |
1322 | vm_offset_t end; |
1323 | vm_inherit_t new_inheritance; |
1324 | { |
1325 | vm_map_entry_t entry; |
1326 | vm_map_entry_t temp_entry; |
1327 | |
1328 | vm_map_lock(map)({ lock_write(&(map)->lock); (map)->timestamp++; }); |
1329 | |
1330 | VM_MAP_RANGE_CHECK(map, start, end){ if (start < ((map)->hdr.links.start)) start = ((map)-> hdr.links.start); if (end > ((map)->hdr.links.end)) end = ((map)->hdr.links.end); if (start > end) start = end ; }; |
1331 | |
1332 | if (vm_map_lookup_entry(map, start, &temp_entry)) { |
1333 | entry = temp_entry; |
1334 | vm_map_clip_start(map, entry, start)({ if ((start) > (entry)->links.start) _vm_map_clip_start (&(map)->hdr,(entry),(start)); }); |
1335 | } |
1336 | else |
1337 | entry = temp_entry->vme_nextlinks.next; |
1338 | |
1339 | while ((entry != vm_map_to_entry(map)((struct vm_map_entry *) &(map)->hdr.links)) && (entry->vme_startlinks.start < end)) { |
1340 | vm_map_clip_end(map, entry, end)({ if ((end) < (entry)->links.end) _vm_map_clip_end(& (map)->hdr,(entry),(end)); }); |
1341 | |
1342 | entry->inheritance = new_inheritance; |
1343 | |
1344 | entry = entry->vme_nextlinks.next; |
1345 | } |
1346 | |
1347 | vm_map_unlock(map)lock_done(&(map)->lock); |
1348 | return(KERN_SUCCESS0); |
1349 | } |
1350 | |
1351 | /* |
1352 | * vm_map_pageable_common: |
1353 | * |
1354 | * Sets the pageability of the specified address |
1355 | * range in the target map. Regions specified |
1356 | * as not pageable require locked-down physical |
1357 | * memory and physical page maps. access_type indicates |
1358 | * types of accesses that must not generate page faults. |
1359 | * This is checked against protection of memory being locked-down. |
1360 | * access_type of VM_PROT_NONE makes memory pageable. |
1361 | * |
1362 | * The map must not be locked, but a reference |
1363 | * must remain to the map throughout the call. |
1364 | * |
1365 | * Callers should use macros in vm/vm_map.h (i.e. vm_map_pageable, |
1366 | * or vm_map_pageable_user); don't call vm_map_pageable directly. |
1367 | */ |
1368 | kern_return_t vm_map_pageable_common(map, start, end, access_type, user_wire) |
1369 | vm_map_t map; |
1370 | vm_offset_t start; |
1371 | vm_offset_t end; |
1372 | vm_prot_t access_type; |
1373 | boolean_t user_wire; |
1374 | { |
1375 | vm_map_entry_t entry; |
1376 | vm_map_entry_t start_entry; |
1377 | |
1378 | vm_map_lock(map)({ lock_write(&(map)->lock); (map)->timestamp++; }); |
1379 | |
1380 | VM_MAP_RANGE_CHECK(map, start, end){ if (start < ((map)->hdr.links.start)) start = ((map)-> hdr.links.start); if (end > ((map)->hdr.links.end)) end = ((map)->hdr.links.end); if (start > end) start = end ; }; |
1381 | |
1382 | if (vm_map_lookup_entry(map, start, &start_entry)) { |
1383 | entry = start_entry; |
1384 | /* |
1385 | * vm_map_clip_start will be done later. |
1386 | */ |
1387 | } |
1388 | else { |
1389 | /* |
1390 | * Start address is not in map; this is fatal. |
1391 | */ |
1392 | vm_map_unlock(map)lock_done(&(map)->lock); |
1393 | return(KERN_FAILURE5); |
1394 | } |
1395 | |
1396 | /* |
1397 | * Actions are rather different for wiring and unwiring, |
1398 | * so we have two separate cases. |
1399 | */ |
1400 | |
1401 | if (access_type == VM_PROT_NONE((vm_prot_t) 0x00)) { |
1402 | |
1403 | vm_map_clip_start(map, entry, start)({ if ((start) > (entry)->links.start) _vm_map_clip_start (&(map)->hdr,(entry),(start)); }); |
1404 | |
1405 | /* |
1406 | * Unwiring. First ensure that the range to be |
1407 | * unwired is really wired down. |
1408 | */ |
1409 | while ((entry != vm_map_to_entry(map)((struct vm_map_entry *) &(map)->hdr.links)) && |
1410 | (entry->vme_startlinks.start < end)) { |
1411 | |
1412 | if ((entry->wired_count == 0) || |
1413 | ((entry->vme_endlinks.end < end) && |
1414 | ((entry->vme_nextlinks.next == vm_map_to_entry(map)((struct vm_map_entry *) &(map)->hdr.links)) || |
1415 | (entry->vme_nextlinks.next->vme_startlinks.start > entry->vme_endlinks.end))) || |
1416 | (user_wire && (entry->user_wired_count == 0))) { |
1417 | vm_map_unlock(map)lock_done(&(map)->lock); |
1418 | return(KERN_INVALID_ARGUMENT4); |
1419 | } |
1420 | entry = entry->vme_nextlinks.next; |
1421 | } |
1422 | |
1423 | /* |
1424 | * Now decrement the wiring count for each region. |
1425 | * If a region becomes completely unwired, |
1426 | * unwire its physical pages and mappings. |
1427 | */ |
1428 | entry = start_entry; |
1429 | while ((entry != vm_map_to_entry(map)((struct vm_map_entry *) &(map)->hdr.links)) && |
1430 | (entry->vme_startlinks.start < end)) { |
1431 | vm_map_clip_end(map, entry, end)({ if ((end) < (entry)->links.end) _vm_map_clip_end(& (map)->hdr,(entry),(end)); }); |
1432 | |
1433 | if (user_wire) { |
1434 | if (--(entry->user_wired_count) == 0) |
1435 | entry->wired_count--; |
1436 | } |
1437 | else { |
1438 | entry->wired_count--; |
1439 | } |
1440 | |
1441 | if (entry->wired_count == 0) |
1442 | vm_fault_unwire(map, entry); |
1443 | |
1444 | entry = entry->vme_nextlinks.next; |
1445 | } |
1446 | } |
1447 | |
1448 | else { |
1449 | /* |
1450 | * Wiring. We must do this in two passes: |
1451 | * |
1452 | * 1. Holding the write lock, we create any shadow |
1453 | * or zero-fill objects that need to be created. |
1454 | * Then we clip each map entry to the region to be |
1455 | * wired and increment its wiring count. We |
1456 | * create objects before clipping the map entries |
1457 | * to avoid object proliferation. |
1458 | * |
1459 | * 2. We downgrade to a read lock, and call |
1460 | * vm_fault_wire to fault in the pages for any |
1461 | * newly wired area (wired_count is 1). |
1462 | * |
1463 | * Downgrading to a read lock for vm_fault_wire avoids |
1464 | * a possible deadlock with another thread that may have |
1465 | * faulted on one of the pages to be wired (it would mark |
1466 | * the page busy, blocking us, then in turn block on the |
1467 | * map lock that we hold). Because of problems in the |
1468 | * recursive lock package, we cannot upgrade to a write |
1469 | * lock in vm_map_lookup. Thus, any actions that require |
1470 | * the write lock must be done beforehand. Because we |
1471 | * keep the read lock on the map, the copy-on-write |
1472 | * status of the entries we modify here cannot change. |
1473 | */ |
1474 | |
1475 | /* |
1476 | * Pass 1. |
1477 | */ |
1478 | while ((entry != vm_map_to_entry(map)((struct vm_map_entry *) &(map)->hdr.links)) && |
1479 | (entry->vme_startlinks.start < end)) { |
1480 | vm_map_clip_end(map, entry, end)({ if ((end) < (entry)->links.end) _vm_map_clip_end(& (map)->hdr,(entry),(end)); }); |
1481 | |
1482 | if (entry->wired_count == 0) { |
1483 | |
1484 | /* |
1485 | * Perform actions of vm_map_lookup that need |
1486 | * the write lock on the map: create a shadow |
1487 | * object for a copy-on-write region, or an |
1488 | * object for a zero-fill region. |
1489 | */ |
1490 | if (entry->needs_copy && |
1491 | ((entry->protection & VM_PROT_WRITE((vm_prot_t) 0x02)) != 0)) { |
1492 | |
1493 | vm_object_shadow(&entry->object.vm_object, |
1494 | &entry->offset, |
1495 | (vm_size_t)(entry->vme_endlinks.end |
1496 | - entry->vme_startlinks.start)); |
1497 | entry->needs_copy = FALSE((boolean_t) 0); |
1498 | } |
1499 | if (entry->object.vm_object == VM_OBJECT_NULL((vm_object_t) 0)) { |
1500 | entry->object.vm_object = |
1501 | vm_object_allocate( |
1502 | (vm_size_t)(entry->vme_endlinks.end |
1503 | - entry->vme_startlinks.start)); |
1504 | entry->offset = (vm_offset_t)0; |
1505 | } |
1506 | } |
1507 | vm_map_clip_start(map, entry, start)({ if ((start) > (entry)->links.start) _vm_map_clip_start (&(map)->hdr,(entry),(start)); }); |
1508 | vm_map_clip_end(map, entry, end)({ if ((end) < (entry)->links.end) _vm_map_clip_end(& (map)->hdr,(entry),(end)); }); |
1509 | |
1510 | if (user_wire) { |
1511 | if ((entry->user_wired_count)++ == 0) |
1512 | entry->wired_count++; |
1513 | } |
1514 | else { |
1515 | entry->wired_count++; |
1516 | } |
1517 | |
1518 | /* |
1519 | * Check for holes and protection mismatch. |
1520 | * Holes: Next entry should be contiguous unless |
1521 | * this is the end of the region. |
1522 | * Protection: Access requested must be allowed. |
1523 | */ |
1524 | if (((entry->vme_endlinks.end < end) && |
1525 | ((entry->vme_nextlinks.next == vm_map_to_entry(map)((struct vm_map_entry *) &(map)->hdr.links)) || |
1526 | (entry->vme_nextlinks.next->vme_startlinks.start > entry->vme_endlinks.end))) || |
1527 | ((entry->protection & access_type) != access_type)) { |
1528 | /* |
1529 | * Found a hole or protection problem. |
1530 | * Object creation actions |
1531 | * do not need to be undone, but the |
1532 | * wired counts need to be restored. |
1533 | */ |
1534 | while ((entry != vm_map_to_entry(map)((struct vm_map_entry *) &(map)->hdr.links)) && |
1535 | (entry->vme_endlinks.end > start)) { |
1536 | if (user_wire) { |
1537 | if (--(entry->user_wired_count) == 0) |
1538 | entry->wired_count--; |
1539 | } |
1540 | else { |
1541 | entry->wired_count--; |
1542 | } |
1543 | |
1544 | entry = entry->vme_prevlinks.prev; |
1545 | } |
1546 | |
1547 | vm_map_unlock(map)lock_done(&(map)->lock); |
1548 | return(KERN_FAILURE5); |
1549 | } |
1550 | entry = entry->vme_nextlinks.next; |
1551 | } |
1552 | |
1553 | /* |
1554 | * Pass 2. |
1555 | */ |
1556 | |
1557 | /* |
1558 | * HACK HACK HACK HACK |
1559 | * |
1560 | * If we are wiring in the kernel map or a submap of it, |
1561 | * unlock the map to avoid deadlocks. We trust that the |
1562 | * kernel threads are well-behaved, and therefore will |
1563 | * not do anything destructive to this region of the map |
1564 | * while we have it unlocked. We cannot trust user threads |
1565 | * to do the same. |
1566 | * |
1567 | * HACK HACK HACK HACK |
1568 | */ |
1569 | if (vm_map_pmap(map)((map)->pmap) == kernel_pmap) { |
1570 | vm_map_unlock(map)lock_done(&(map)->lock); /* trust me ... */ |
1571 | } |
1572 | else { |
1573 | vm_map_lock_set_recursive(map)lock_set_recursive(&(map)->lock); |
1574 | vm_map_lock_write_to_read(map)lock_write_to_read(&(map)->lock); |
1575 | } |
1576 | |
1577 | entry = start_entry; |
1578 | while (entry != vm_map_to_entry(map)((struct vm_map_entry *) &(map)->hdr.links) && |
1579 | entry->vme_startlinks.start < end) { |
1580 | /* |
1581 | * Wiring cases: |
1582 | * Kernel: wired == 1 && user_wired == 0 |
1583 | * User: wired == 1 && user_wired == 1 |
1584 | * |
1585 | * Don't need to wire if either is > 1. wired = 0 && |
1586 | * user_wired == 1 can't happen. |
1587 | */ |
1588 | |
1589 | /* |
1590 | * XXX This assumes that the faults always succeed. |
1591 | */ |
1592 | if ((entry->wired_count == 1) && |
1593 | (entry->user_wired_count <= 1)) { |
1594 | vm_fault_wire(map, entry); |
1595 | } |
1596 | entry = entry->vme_nextlinks.next; |
1597 | } |
1598 | |
1599 | if (vm_map_pmap(map)((map)->pmap) == kernel_pmap) { |
1600 | vm_map_lock(map)({ lock_write(&(map)->lock); (map)->timestamp++; }); |
1601 | } |
1602 | else { |
1603 | vm_map_lock_clear_recursive(map)lock_clear_recursive(&(map)->lock); |
1604 | } |
1605 | } |
1606 | |
1607 | vm_map_unlock(map)lock_done(&(map)->lock); |
1608 | |
1609 | return(KERN_SUCCESS0); |
1610 | } |
1611 | |
1612 | /* |
1613 | * vm_map_entry_delete: [ internal use only ] |
1614 | * |
1615 | * Deallocate the given entry from the target map. |
1616 | */ |
1617 | void vm_map_entry_delete(map, entry) |
1618 | vm_map_t map; |
1619 | vm_map_entry_t entry; |
1620 | { |
1621 | vm_offset_t s, e; |
1622 | vm_object_t object; |
1623 | extern vm_object_t kernel_object; |
1624 | |
1625 | s = entry->vme_startlinks.start; |
1626 | e = entry->vme_endlinks.end; |
1627 | |
1628 | /*Check if projected buffer*/ |
1629 | if (map != kernel_map && entry->projected_on != 0) { |
1630 | /*Check if projected kernel entry is persistent; |
1631 | may only manipulate directly if it is*/ |
1632 | if (entry->projected_on->projected_on == 0) |
1633 | entry->wired_count = 0; /*Avoid unwire fault*/ |
1634 | else |
1635 | return; |
1636 | } |
1637 | |
1638 | /* |
1639 | * Get the object. Null objects cannot have pmap entries. |
1640 | */ |
1641 | |
1642 | if ((object = entry->object.vm_object) != VM_OBJECT_NULL((vm_object_t) 0)) { |
1643 | |
1644 | /* |
1645 | * Unwire before removing addresses from the pmap; |
1646 | * otherwise, unwiring will put the entries back in |
1647 | * the pmap. |
1648 | */ |
1649 | |
1650 | if (entry->wired_count != 0) { |
1651 | vm_fault_unwire(map, entry); |
1652 | entry->wired_count = 0; |
1653 | entry->user_wired_count = 0; |
1654 | } |
1655 | |
1656 | /* |
1657 | * If the object is shared, we must remove |
1658 | * *all* references to this data, since we can't |
1659 | * find all of the physical maps which are sharing |
1660 | * it. |
1661 | */ |
1662 | |
1663 | if (object == kernel_object) { |
1664 | vm_object_lock(object); |
1665 | vm_object_page_remove(object, entry->offset, |
1666 | entry->offset + (e - s)); |
1667 | vm_object_unlock(object); |
1668 | } else if (entry->is_shared) { |
1669 | vm_object_pmap_remove(object, |
1670 | entry->offset, |
1671 | entry->offset + (e - s)); |
1672 | } |
1673 | else { |
1674 | pmap_remove(map->pmap, s, e); |
1675 | } |
1676 | } |
1677 | |
1678 | /* |
1679 | * Deallocate the object only after removing all |
1680 | * pmap entries pointing to its pages. |
1681 | */ |
1682 | |
1683 | if (entry->is_sub_map) |
1684 | vm_map_deallocate(entry->object.sub_map); |
1685 | else |
1686 | vm_object_deallocate(entry->object.vm_object); |
1687 | |
1688 | vm_map_entry_unlink(map, entry)({ (&(map)->hdr)->nentries--; (entry)->links.next ->links.prev = (entry)->links.prev; (entry)->links.prev ->links.next = (entry)->links.next; rbtree_remove(& (&(map)->hdr)->tree, &(entry)->tree_node); } ); |
1689 | map->size -= e - s; |
1690 | |
1691 | vm_map_entry_dispose(map, entry)_vm_map_entry_dispose(&(map)->hdr, (entry)); |
1692 | } |
1693 | |
1694 | /* |
1695 | * vm_map_delete: [ internal use only ] |
1696 | * |
1697 | * Deallocates the given address range from the target |
1698 | * map. |
1699 | */ |
1700 | |
1701 | kern_return_t vm_map_delete(map, start, end) |
1702 | vm_map_t map; |
1703 | vm_offset_t start; |
1704 | vm_offset_t end; |
1705 | { |
1706 | vm_map_entry_t entry; |
1707 | vm_map_entry_t first_entry; |
1708 | |
1709 | /* |
1710 | * Find the start of the region, and clip it |
1711 | */ |
1712 | |
1713 | if (!vm_map_lookup_entry(map, start, &first_entry)) |
1714 | entry = first_entry->vme_nextlinks.next; |
1715 | else { |
1716 | entry = first_entry; |
1717 | vm_map_clip_start(map, entry, start)({ if ((start) > (entry)->links.start) _vm_map_clip_start (&(map)->hdr,(entry),(start)); }); |
1718 | |
1719 | /* |
1720 | * Fix the lookup hint now, rather than each |
1721 | * time though the loop. |
1722 | */ |
1723 | |
1724 | SAVE_HINT(map, entry->vme_prev); (map)->hint = (entry->links.prev); ;; |
1725 | } |
1726 | |
1727 | /* |
1728 | * Save the free space hint |
1729 | */ |
1730 | |
1731 | if (map->first_free->vme_startlinks.start >= start) |
1732 | map->first_free = entry->vme_prevlinks.prev; |
1733 | |
1734 | /* |
1735 | * Step through all entries in this region |
1736 | */ |
1737 | |
1738 | while ((entry != vm_map_to_entry(map)((struct vm_map_entry *) &(map)->hdr.links)) && (entry->vme_startlinks.start < end)) { |
1739 | vm_map_entry_t next; |
1740 | |
1741 | vm_map_clip_end(map, entry, end)({ if ((end) < (entry)->links.end) _vm_map_clip_end(& (map)->hdr,(entry),(end)); }); |
1742 | |
1743 | /* |
1744 | * If the entry is in transition, we must wait |
1745 | * for it to exit that state. It could be clipped |
1746 | * while we leave the map unlocked. |
1747 | */ |
1748 | if(entry->in_transition) { |
1749 | /* |
1750 | * Say that we are waiting, and wait for entry. |
1751 | */ |
1752 | entry->needs_wakeup = TRUE((boolean_t) 1); |
1753 | vm_map_entry_wait(map, FALSE)({ assert_wait((event_t)&(map)->hdr, ((boolean_t) 0)); lock_done(&(map)->lock); thread_block((void (*)()) 0) ; }); |
1754 | vm_map_lock(map)({ lock_write(&(map)->lock); (map)->timestamp++; }); |
1755 | |
1756 | /* |
1757 | * The entry could have been clipped or it |
1758 | * may not exist anymore. look it up again. |
1759 | */ |
1760 | if(!vm_map_lookup_entry(map, start, &entry)) { |
1761 | entry = entry->vme_nextlinks.next; |
1762 | } |
1763 | continue; |
1764 | } |
1765 | |
1766 | next = entry->vme_nextlinks.next; |
1767 | |
1768 | vm_map_entry_delete(map, entry); |
1769 | entry = next; |
1770 | } |
1771 | |
1772 | if (map->wait_for_space) |
1773 | thread_wakeup((event_t) map)thread_wakeup_prim(((event_t) map), ((boolean_t) 0), 0); |
1774 | |
1775 | return(KERN_SUCCESS0); |
1776 | } |
1777 | |
1778 | /* |
1779 | * vm_map_remove: |
1780 | * |
1781 | * Remove the given address range from the target map. |
1782 | * This is the exported form of vm_map_delete. |
1783 | */ |
1784 | kern_return_t vm_map_remove(map, start, end) |
1785 | vm_map_t map; |
1786 | vm_offset_t start; |
1787 | vm_offset_t end; |
1788 | { |
1789 | kern_return_t result; |
1790 | |
1791 | vm_map_lock(map)({ lock_write(&(map)->lock); (map)->timestamp++; }); |
1792 | VM_MAP_RANGE_CHECK(map, start, end){ if (start < ((map)->hdr.links.start)) start = ((map)-> hdr.links.start); if (end > ((map)->hdr.links.end)) end = ((map)->hdr.links.end); if (start > end) start = end ; }; |
1793 | result = vm_map_delete(map, start, end); |
1794 | vm_map_unlock(map)lock_done(&(map)->lock); |
1795 | |
1796 | return(result); |
1797 | } |
1798 | |
1799 | |
1800 | /* |
1801 | * vm_map_copy_steal_pages: |
1802 | * |
1803 | * Steal all the pages from a vm_map_copy page_list by copying ones |
1804 | * that have not already been stolen. |
1805 | */ |
1806 | void |
1807 | vm_map_copy_steal_pages(copy) |
1808 | vm_map_copy_t copy; |
1809 | { |
1810 | vm_page_t m, new_m; |
1811 | int i; |
1812 | vm_object_t object; |
1813 | |
1814 | for (i = 0; i < copy->cpy_npagesc_u.c_p.npages; i++) { |
1815 | |
1816 | /* |
1817 | * If the page is not tabled, then it's already stolen. |
1818 | */ |
1819 | m = copy->cpy_page_listc_u.c_p.page_list[i]; |
1820 | if (!m->tabled) |
1821 | continue; |
1822 | |
1823 | /* |
1824 | * Page was not stolen, get a new |
1825 | * one and do the copy now. |
1826 | */ |
1827 | while ((new_m = vm_page_grab(FALSE((boolean_t) 0))) == VM_PAGE_NULL((vm_page_t) 0)) { |
1828 | VM_PAGE_WAIT((void(*)()) 0)vm_page_wait((void(*)()) 0); |
1829 | } |
1830 | |
1831 | vm_page_copy(m, new_m); |
1832 | |
1833 | object = m->object; |
1834 | vm_object_lock(object); |
1835 | vm_page_lock_queues(); |
1836 | if (!m->active && !m->inactive) |
1837 | vm_page_activate(m); |
1838 | vm_page_unlock_queues(); |
1839 | PAGE_WAKEUP_DONE(m)({ (m)->busy = ((boolean_t) 0); if ((m)->wanted) { (m)-> wanted = ((boolean_t) 0); thread_wakeup_prim((((event_t) m)), ((boolean_t) 0), 0); } }); |
1840 | vm_object_paging_end(object)({ ({ if (!((object)->paging_in_progress != 0)) Assert("(object)->paging_in_progress != 0" , "../vm/vm_map.c", 1840); }); if (--(object)->paging_in_progress == 0) { ({ if ((object)->all_wanted & (1 << (2) )) thread_wakeup_prim(((event_t)(((vm_offset_t) object) + (2) )), ((boolean_t) 0), 0); (object)->all_wanted &= ~(1 << (2)); }); } }); |
1841 | vm_object_unlock(object); |
1842 | |
1843 | copy->cpy_page_listc_u.c_p.page_list[i] = new_m; |
1844 | } |
1845 | } |
1846 | |
1847 | /* |
1848 | * vm_map_copy_page_discard: |
1849 | * |
1850 | * Get rid of the pages in a page_list copy. If the pages are |
1851 | * stolen, they are freed. If the pages are not stolen, they |
1852 | * are unbusied, and associated state is cleaned up. |
1853 | */ |
1854 | void vm_map_copy_page_discard(copy) |
1855 | vm_map_copy_t copy; |
1856 | { |
1857 | while (copy->cpy_npagesc_u.c_p.npages > 0) { |
1858 | vm_page_t m; |
1859 | |
1860 | if((m = copy->cpy_page_listc_u.c_p.page_list[--(copy->cpy_npagesc_u.c_p.npages)]) != |
1861 | VM_PAGE_NULL((vm_page_t) 0)) { |
1862 | |
1863 | /* |
1864 | * If it's not in the table, then it's |
1865 | * a stolen page that goes back |
1866 | * to the free list. Else it belongs |
1867 | * to some object, and we hold a |
1868 | * paging reference on that object. |
1869 | */ |
1870 | if (!m->tabled) { |
1871 | VM_PAGE_FREE(m)({ ; vm_page_free(m); ; }); |
1872 | } |
1873 | else { |
1874 | vm_object_t object; |
1875 | |
1876 | object = m->object; |
1877 | |
1878 | vm_object_lock(object); |
1879 | vm_page_lock_queues(); |
1880 | if (!m->active && !m->inactive) |
1881 | vm_page_activate(m); |
1882 | vm_page_unlock_queues(); |
1883 | |
1884 | PAGE_WAKEUP_DONE(m)({ (m)->busy = ((boolean_t) 0); if ((m)->wanted) { (m)-> wanted = ((boolean_t) 0); thread_wakeup_prim((((event_t) m)), ((boolean_t) 0), 0); } }); |
1885 | vm_object_paging_end(object)({ ({ if (!((object)->paging_in_progress != 0)) Assert("(object)->paging_in_progress != 0" , "../vm/vm_map.c", 1885); }); if (--(object)->paging_in_progress == 0) { ({ if ((object)->all_wanted & (1 << (2) )) thread_wakeup_prim(((event_t)(((vm_offset_t) object) + (2) )), ((boolean_t) 0), 0); (object)->all_wanted &= ~(1 << (2)); }); } }); |
1886 | vm_object_unlock(object); |
1887 | } |
1888 | } |
1889 | } |
1890 | } |
1891 | |
1892 | /* |
1893 | * Routine: vm_map_copy_discard |
1894 | * |
1895 | * Description: |
1896 | * Dispose of a map copy object (returned by |
1897 | * vm_map_copyin). |
1898 | */ |
1899 | void |
1900 | vm_map_copy_discard(copy) |
1901 | vm_map_copy_t copy; |
1902 | { |
1903 | free_next_copy: |
1904 | if (copy == VM_MAP_COPY_NULL((vm_map_copy_t) 0)) |
1905 | return; |
1906 | |
1907 | switch (copy->type) { |
1908 | case VM_MAP_COPY_ENTRY_LIST1: |
1909 | while (vm_map_copy_first_entry(copy)((copy)->c_u.hdr.links.next) != |
1910 | vm_map_copy_to_entry(copy)((struct vm_map_entry *) &(copy)->c_u.hdr.links)) { |
1911 | vm_map_entry_t entry = vm_map_copy_first_entry(copy)((copy)->c_u.hdr.links.next); |
1912 | |
1913 | vm_map_copy_entry_unlink(copy, entry)({ (&(copy)->c_u.hdr)->nentries--; (entry)->links .next->links.prev = (entry)->links.prev; (entry)->links .prev->links.next = (entry)->links.next; rbtree_remove( &(&(copy)->c_u.hdr)->tree, &(entry)->tree_node ); }); |
1914 | vm_object_deallocate(entry->object.vm_object); |
1915 | vm_map_copy_entry_dispose(copy, entry)_vm_map_entry_dispose(&(copy)->c_u.hdr, (entry)); |
1916 | } |
1917 | break; |
1918 | case VM_MAP_COPY_OBJECT2: |
1919 | vm_object_deallocate(copy->cpy_objectc_u.c_o.object); |
1920 | break; |
1921 | case VM_MAP_COPY_PAGE_LIST3: |
1922 | |
1923 | /* |
1924 | * To clean this up, we have to unbusy all the pages |
1925 | * and release the paging references in their objects. |
1926 | */ |
1927 | if (copy->cpy_npagesc_u.c_p.npages > 0) |
1928 | vm_map_copy_page_discard(copy); |
1929 | |
1930 | /* |
1931 | * If there's a continuation, abort it. The |
1932 | * abort routine releases any storage. |
1933 | */ |
1934 | if (vm_map_copy_has_cont(copy)(((copy)->c_u.c_p.cont) != (kern_return_t (*)()) 0)) { |
1935 | |
1936 | /* |
1937 | * Special case: recognize |
1938 | * vm_map_copy_discard_cont and optimize |
1939 | * here to avoid tail recursion. |
1940 | */ |
1941 | if (copy->cpy_contc_u.c_p.cont == vm_map_copy_discard_cont) { |
1942 | vm_map_copy_t new_copy; |
1943 | |
1944 | new_copy = (vm_map_copy_t) copy->cpy_cont_argsc_u.c_p.cont_args; |
1945 | kmem_cache_free(&vm_map_copy_cache, (vm_offset_t) copy); |
1946 | copy = new_copy; |
1947 | goto free_next_copy; |
1948 | } |
1949 | else { |
1950 | vm_map_copy_abort_cont(copy)({ vm_map_copy_page_discard(copy); (*((copy)->c_u.c_p.cont ))((copy)->c_u.c_p.cont_args, (vm_map_copy_t *) 0); (copy) ->c_u.c_p.cont = (kern_return_t (*)()) 0; (copy)->c_u.c_p .cont_args = (char *) 0; }); |
1951 | } |
1952 | } |
1953 | |
1954 | break; |
1955 | } |
1956 | kmem_cache_free(&vm_map_copy_cache, (vm_offset_t) copy); |
1957 | } |
1958 | |
1959 | /* |
1960 | * Routine: vm_map_copy_copy |
1961 | * |
1962 | * Description: |
1963 | * Move the information in a map copy object to |
1964 | * a new map copy object, leaving the old one |
1965 | * empty. |
1966 | * |
1967 | * This is used by kernel routines that need |
1968 | * to look at out-of-line data (in copyin form) |
1969 | * before deciding whether to return SUCCESS. |
1970 | * If the routine returns FAILURE, the original |
1971 | * copy object will be deallocated; therefore, |
1972 | * these routines must make a copy of the copy |
1973 | * object and leave the original empty so that |
1974 | * deallocation will not fail. |
1975 | */ |
1976 | vm_map_copy_t |
1977 | vm_map_copy_copy(copy) |
1978 | vm_map_copy_t copy; |
1979 | { |
1980 | vm_map_copy_t new_copy; |
1981 | |
1982 | if (copy == VM_MAP_COPY_NULL((vm_map_copy_t) 0)) |
1983 | return VM_MAP_COPY_NULL((vm_map_copy_t) 0); |
1984 | |
1985 | /* |
1986 | * Allocate a new copy object, and copy the information |
1987 | * from the old one into it. |
1988 | */ |
1989 | |
1990 | new_copy = (vm_map_copy_t) kmem_cache_alloc(&vm_map_copy_cache); |
1991 | *new_copy = *copy; |
1992 | |
1993 | if (copy->type == VM_MAP_COPY_ENTRY_LIST1) { |
1994 | /* |
1995 | * The links in the entry chain must be |
1996 | * changed to point to the new copy object. |
1997 | */ |
1998 | vm_map_copy_first_entry(copy)((copy)->c_u.hdr.links.next)->vme_prevlinks.prev |
1999 | = vm_map_copy_to_entry(new_copy)((struct vm_map_entry *) &(new_copy)->c_u.hdr.links); |
2000 | vm_map_copy_last_entry(copy)((copy)->c_u.hdr.links.prev)->vme_nextlinks.next |
2001 | = vm_map_copy_to_entry(new_copy)((struct vm_map_entry *) &(new_copy)->c_u.hdr.links); |
2002 | } |
2003 | |
2004 | /* |
2005 | * Change the old copy object into one that contains |
2006 | * nothing to be deallocated. |
2007 | */ |
2008 | copy->type = VM_MAP_COPY_OBJECT2; |
2009 | copy->cpy_objectc_u.c_o.object = VM_OBJECT_NULL((vm_object_t) 0); |
2010 | |
2011 | /* |
2012 | * Return the new object. |
2013 | */ |
2014 | return new_copy; |
2015 | } |
2016 | |
2017 | /* |
2018 | * Routine: vm_map_copy_discard_cont |
2019 | * |
2020 | * Description: |
2021 | * A version of vm_map_copy_discard that can be called |
2022 | * as a continuation from a vm_map_copy page list. |
2023 | */ |
2024 | kern_return_t vm_map_copy_discard_cont(cont_args, copy_result) |
2025 | vm_map_copyin_args_t cont_args; |
2026 | vm_map_copy_t *copy_result; /* OUT */ |
2027 | { |
2028 | vm_map_copy_discard((vm_map_copy_t) cont_args); |
2029 | if (copy_result != (vm_map_copy_t *)0) |
2030 | *copy_result = VM_MAP_COPY_NULL((vm_map_copy_t) 0); |
2031 | return(KERN_SUCCESS0); |
2032 | } |
2033 | |
2034 | /* |
2035 | * Routine: vm_map_copy_overwrite |
2036 | * |
2037 | * Description: |
2038 | * Copy the memory described by the map copy |
2039 | * object (copy; returned by vm_map_copyin) onto |
2040 | * the specified destination region (dst_map, dst_addr). |
2041 | * The destination must be writeable. |
2042 | * |
2043 | * Unlike vm_map_copyout, this routine actually |
2044 | * writes over previously-mapped memory. If the |
2045 | * previous mapping was to a permanent (user-supplied) |
2046 | * memory object, it is preserved. |
2047 | * |
2048 | * The attributes (protection and inheritance) of the |
2049 | * destination region are preserved. |
2050 | * |
2051 | * If successful, consumes the copy object. |
2052 | * Otherwise, the caller is responsible for it. |
2053 | * |
2054 | * Implementation notes: |
2055 | * To overwrite temporary virtual memory, it is |
2056 | * sufficient to remove the previous mapping and insert |
2057 | * the new copy. This replacement is done either on |
2058 | * the whole region (if no permanent virtual memory |
2059 | * objects are embedded in the destination region) or |
2060 | * in individual map entries. |
2061 | * |
2062 | * To overwrite permanent virtual memory, it is |
2063 | * necessary to copy each page, as the external |
2064 | * memory management interface currently does not |
2065 | * provide any optimizations. |
2066 | * |
2067 | * Once a page of permanent memory has been overwritten, |
2068 | * it is impossible to interrupt this function; otherwise, |
2069 | * the call would be neither atomic nor location-independent. |
2070 | * The kernel-state portion of a user thread must be |
2071 | * interruptible. |
2072 | * |
2073 | * It may be expensive to forward all requests that might |
2074 | * overwrite permanent memory (vm_write, vm_copy) to |
2075 | * uninterruptible kernel threads. This routine may be |
2076 | * called by interruptible threads; however, success is |
2077 | * not guaranteed -- if the request cannot be performed |
2078 | * atomically and interruptibly, an error indication is |
2079 | * returned. |
2080 | */ |
2081 | kern_return_t vm_map_copy_overwrite(dst_map, dst_addr, copy, interruptible) |
2082 | vm_map_t dst_map; |
2083 | vm_offset_t dst_addr; |
2084 | vm_map_copy_t copy; |
2085 | boolean_t interruptible; |
2086 | { |
2087 | vm_size_t size; |
2088 | vm_offset_t start; |
2089 | vm_map_entry_t tmp_entry; |
2090 | vm_map_entry_t entry; |
2091 | |
2092 | boolean_t contains_permanent_objects = FALSE((boolean_t) 0); |
2093 | |
2094 | interruptible = FALSE((boolean_t) 0); /* XXX */ |
2095 | |
2096 | /* |
2097 | * Check for null copy object. |
2098 | */ |
2099 | |
2100 | if (copy == VM_MAP_COPY_NULL((vm_map_copy_t) 0)) |
2101 | return(KERN_SUCCESS0); |
2102 | |
2103 | /* |
2104 | * Only works for entry lists at the moment. Will |
2105 | * support page lists LATER. |
2106 | */ |
2107 | |
2108 | assert(copy->type == VM_MAP_COPY_ENTRY_LIST)({ if (!(copy->type == 1)) Assert("copy->type == VM_MAP_COPY_ENTRY_LIST" , "../vm/vm_map.c", 2108); }); |
2109 | |
2110 | /* |
2111 | * Currently this routine only handles page-aligned |
2112 | * regions. Eventually, it should handle misalignments |
2113 | * by actually copying pages. |
2114 | */ |
2115 | |
2116 | if (!page_aligned(copy->offset)((((vm_offset_t) (copy->offset)) & ((1 << 12)-1) ) == 0) || |
2117 | !page_aligned(copy->size)((((vm_offset_t) (copy->size)) & ((1 << 12)-1)) == 0) || |
2118 | !page_aligned(dst_addr)((((vm_offset_t) (dst_addr)) & ((1 << 12)-1)) == 0)) |
2119 | return(KERN_INVALID_ARGUMENT4); |
2120 | |
2121 | size = copy->size; |
2122 | |
2123 | if (size == 0) { |
2124 | vm_map_copy_discard(copy); |
2125 | return(KERN_SUCCESS0); |
2126 | } |
2127 | |
2128 | /* |
2129 | * Verify that the destination is all writeable |
2130 | * initially. |
2131 | */ |
2132 | start_pass_1: |
2133 | vm_map_lock(dst_map)({ lock_write(&(dst_map)->lock); (dst_map)->timestamp ++; }); |
2134 | if (!vm_map_lookup_entry(dst_map, dst_addr, &tmp_entry)) { |
2135 | vm_map_unlock(dst_map)lock_done(&(dst_map)->lock); |
2136 | return(KERN_INVALID_ADDRESS1); |
2137 | } |
2138 | vm_map_clip_start(dst_map, tmp_entry, dst_addr)({ if ((dst_addr) > (tmp_entry)->links.start) _vm_map_clip_start (&(dst_map)->hdr,(tmp_entry),(dst_addr)); }); |
2139 | for (entry = tmp_entry;;) { |
2140 | vm_size_t sub_size = (entry->vme_endlinks.end - entry->vme_startlinks.start); |
2141 | vm_map_entry_t next = entry->vme_nextlinks.next; |
2142 | |
2143 | if ( ! (entry->protection & VM_PROT_WRITE((vm_prot_t) 0x02))) { |
2144 | vm_map_unlock(dst_map)lock_done(&(dst_map)->lock); |
2145 | return(KERN_PROTECTION_FAILURE2); |
2146 | } |
2147 | |
2148 | /* |
2149 | * If the entry is in transition, we must wait |
2150 | * for it to exit that state. Anything could happen |
2151 | * when we unlock the map, so start over. |
2152 | */ |
2153 | if (entry->in_transition) { |
2154 | |
2155 | /* |
2156 | * Say that we are waiting, and wait for entry. |
2157 | */ |
2158 | entry->needs_wakeup = TRUE((boolean_t) 1); |
2159 | vm_map_entry_wait(dst_map, FALSE)({ assert_wait((event_t)&(dst_map)->hdr, ((boolean_t) 0 )); lock_done(&(dst_map)->lock); thread_block((void (* )()) 0); }); |
2160 | |
2161 | goto start_pass_1; |
2162 | } |
2163 | |
2164 | if (size <= sub_size) |
2165 | break; |
2166 | |
2167 | if ((next == vm_map_to_entry(dst_map)((struct vm_map_entry *) &(dst_map)->hdr.links)) || |
2168 | (next->vme_startlinks.start != entry->vme_endlinks.end)) { |
2169 | vm_map_unlock(dst_map)lock_done(&(dst_map)->lock); |
2170 | return(KERN_INVALID_ADDRESS1); |
2171 | } |
2172 | |
2173 | |
2174 | /* |
2175 | * Check for permanent objects in the destination. |
2176 | */ |
2177 | |
2178 | if ((entry->object.vm_object != VM_OBJECT_NULL((vm_object_t) 0)) && |
2179 | !entry->object.vm_object->temporary) |
2180 | contains_permanent_objects = TRUE((boolean_t) 1); |
2181 | |
2182 | size -= sub_size; |
2183 | entry = next; |
2184 | } |
2185 | |
2186 | /* |
2187 | * If there are permanent objects in the destination, then |
2188 | * the copy cannot be interrupted. |
2189 | */ |
2190 | |
2191 | if (interruptible && contains_permanent_objects) { |
2192 | vm_map_unlock(dst_map)lock_done(&(dst_map)->lock); |
2193 | return(KERN_FAILURE5); /* XXX */ |
2194 | } |
2195 | |
2196 | /* |
2197 | * XXXO If there are no permanent objects in the destination, |
2198 | * XXXO and the source and destination map entry caches match, |
2199 | * XXXO and the destination map entry is not shared, |
2200 | * XXXO then the map entries can be deleted and replaced |
2201 | * XXXO with those from the copy. The following code is the |
2202 | * XXXO basic idea of what to do, but there are lots of annoying |
2203 | * XXXO little details about getting protection and inheritance |
2204 | * XXXO right. Should add protection, inheritance, and sharing checks |
2205 | * XXXO to the above pass and make sure that no wiring is involved. |
2206 | */ |
2207 | /* |
2208 | * if (!contains_permanent_objects && |
2209 | * copy->cpy_hdr.entries_pageable == dst_map->hdr.entries_pageable) { |
2210 | * |
2211 | * * |
2212 | * * Run over copy and adjust entries. Steal code |
2213 | * * from vm_map_copyout() to do this. |
2214 | * * |
2215 | * |
2216 | * tmp_entry = tmp_entry->vme_prev; |
2217 | * vm_map_delete(dst_map, dst_addr, dst_addr + copy->size); |
2218 | * vm_map_copy_insert(dst_map, tmp_entry, copy); |
2219 | * |
2220 | * vm_map_unlock(dst_map); |
2221 | * vm_map_copy_discard(copy); |
2222 | * } |
2223 | */ |
2224 | /* |
2225 | * |
2226 | * Make a second pass, overwriting the data |
2227 | * At the beginning of each loop iteration, |
2228 | * the next entry to be overwritten is "tmp_entry" |
2229 | * (initially, the value returned from the lookup above), |
2230 | * and the starting address expected in that entry |
2231 | * is "start". |
2232 | */ |
2233 | |
2234 | start = dst_addr; |
2235 | |
2236 | while (vm_map_copy_first_entry(copy)((copy)->c_u.hdr.links.next) != vm_map_copy_to_entry(copy)((struct vm_map_entry *) &(copy)->c_u.hdr.links)) { |
2237 | vm_map_entry_t copy_entry = vm_map_copy_first_entry(copy)((copy)->c_u.hdr.links.next); |
2238 | vm_size_t copy_size = (copy_entry->vme_endlinks.end - copy_entry->vme_startlinks.start); |
2239 | vm_object_t object; |
2240 | |
2241 | entry = tmp_entry; |
2242 | size = (entry->vme_endlinks.end - entry->vme_startlinks.start); |
2243 | /* |
2244 | * Make sure that no holes popped up in the |
2245 | * address map, and that the protection is |
2246 | * still valid, in case the map was unlocked |
2247 | * earlier. |
2248 | */ |
2249 | |
2250 | if (entry->vme_startlinks.start != start) { |
2251 | vm_map_unlock(dst_map)lock_done(&(dst_map)->lock); |
2252 | return(KERN_INVALID_ADDRESS1); |
2253 | } |
2254 | assert(entry != vm_map_to_entry(dst_map))({ if (!(entry != ((struct vm_map_entry *) &(dst_map)-> hdr.links))) Assert("entry != vm_map_to_entry(dst_map)", "../vm/vm_map.c" , 2254); }); |
2255 | |
2256 | /* |
2257 | * Check protection again |
2258 | */ |
2259 | |
2260 | if ( ! (entry->protection & VM_PROT_WRITE((vm_prot_t) 0x02))) { |
2261 | vm_map_unlock(dst_map)lock_done(&(dst_map)->lock); |
2262 | return(KERN_PROTECTION_FAILURE2); |
2263 | } |
2264 | |
2265 | /* |
2266 | * Adjust to source size first |
2267 | */ |
2268 | |
2269 | if (copy_size < size) { |
2270 | vm_map_clip_end(dst_map, entry, entry->vme_start + copy_size)({ if ((entry->links.start + copy_size) < (entry)->links .end) _vm_map_clip_end(&(dst_map)->hdr,(entry),(entry-> links.start + copy_size)); }); |
2271 | size = copy_size; |
2272 | } |
2273 | |
2274 | /* |
2275 | * Adjust to destination size |
2276 | */ |
2277 | |
2278 | if (size < copy_size) { |
2279 | vm_map_copy_clip_end(copy, copy_entry,({ if ((copy_entry->links.start + size) < (copy_entry)-> links.end) _vm_map_clip_end(&(copy)->c_u.hdr,(copy_entry ),(copy_entry->links.start + size)); }) |
2280 | copy_entry->vme_start + size)({ if ((copy_entry->links.start + size) < (copy_entry)-> links.end) _vm_map_clip_end(&(copy)->c_u.hdr,(copy_entry ),(copy_entry->links.start + size)); }); |
2281 | copy_size = size; |
2282 | } |
2283 | |
2284 | assert((entry->vme_end - entry->vme_start) == size)({ if (!((entry->links.end - entry->links.start) == size )) Assert("(entry->vme_end - entry->vme_start) == size" , "../vm/vm_map.c", 2284); }); |
2285 | assert((tmp_entry->vme_end - tmp_entry->vme_start) == size)({ if (!((tmp_entry->links.end - tmp_entry->links.start ) == size)) Assert("(tmp_entry->vme_end - tmp_entry->vme_start) == size" , "../vm/vm_map.c", 2285); }); |
2286 | assert((copy_entry->vme_end - copy_entry->vme_start) == size)({ if (!((copy_entry->links.end - copy_entry->links.start ) == size)) Assert("(copy_entry->vme_end - copy_entry->vme_start) == size" , "../vm/vm_map.c", 2286); }); |
2287 | |
2288 | /* |
2289 | * If the destination contains temporary unshared memory, |
2290 | * we can perform the copy by throwing it away and |
2291 | * installing the source data. |
2292 | */ |
2293 | |
2294 | object = entry->object.vm_object; |
2295 | if (!entry->is_shared && |
2296 | ((object == VM_OBJECT_NULL((vm_object_t) 0)) || object->temporary)) { |
2297 | vm_object_t old_object = entry->object.vm_object; |
2298 | vm_offset_t old_offset = entry->offset; |
2299 | |
2300 | entry->object = copy_entry->object; |
2301 | entry->offset = copy_entry->offset; |
2302 | entry->needs_copy = copy_entry->needs_copy; |
2303 | entry->wired_count = 0; |
2304 | entry->user_wired_count = 0; |
2305 | |
2306 | vm_map_copy_entry_unlink(copy, copy_entry)({ (&(copy)->c_u.hdr)->nentries--; (copy_entry)-> links.next->links.prev = (copy_entry)->links.prev; (copy_entry )->links.prev->links.next = (copy_entry)->links.next ; rbtree_remove(&(&(copy)->c_u.hdr)->tree, & (copy_entry)->tree_node); }); |
2307 | vm_map_copy_entry_dispose(copy, copy_entry)_vm_map_entry_dispose(&(copy)->c_u.hdr, (copy_entry)); |
2308 | |
2309 | vm_object_pmap_protect( |
2310 | old_object, |
2311 | old_offset, |
2312 | size, |
2313 | dst_map->pmap, |
2314 | tmp_entry->vme_startlinks.start, |
2315 | VM_PROT_NONE((vm_prot_t) 0x00)); |
2316 | |
2317 | vm_object_deallocate(old_object); |
2318 | |
2319 | /* |
2320 | * Set up for the next iteration. The map |
2321 | * has not been unlocked, so the next |
2322 | * address should be at the end of this |
2323 | * entry, and the next map entry should be |
2324 | * the one following it. |
2325 | */ |
2326 | |
2327 | start = tmp_entry->vme_endlinks.end; |
2328 | tmp_entry = tmp_entry->vme_nextlinks.next; |
2329 | } else { |
2330 | vm_map_version_t version; |
2331 | vm_object_t dst_object = entry->object.vm_object; |
2332 | vm_offset_t dst_offset = entry->offset; |
2333 | kern_return_t r; |
2334 | |
2335 | /* |
2336 | * Take an object reference, and record |
2337 | * the map version information so that the |
2338 | * map can be safely unlocked. |
2339 | */ |
2340 | |
2341 | vm_object_reference(dst_object); |
2342 | |
2343 | version.main_timestamp = dst_map->timestamp; |
2344 | |
2345 | vm_map_unlock(dst_map)lock_done(&(dst_map)->lock); |
2346 | |
2347 | /* |
2348 | * Copy as much as possible in one pass |
2349 | */ |
2350 | |
2351 | copy_size = size; |
2352 | r = vm_fault_copy( |
2353 | copy_entry->object.vm_object, |
2354 | copy_entry->offset, |
2355 | ©_size, |
2356 | dst_object, |
2357 | dst_offset, |
2358 | dst_map, |
2359 | &version, |
2360 | FALSE((boolean_t) 0) /* XXX interruptible */ ); |
2361 | |
2362 | /* |
2363 | * Release the object reference |
2364 | */ |
2365 | |
2366 | vm_object_deallocate(dst_object); |
2367 | |
2368 | /* |
2369 | * If a hard error occurred, return it now |
2370 | */ |
2371 | |
2372 | if (r != KERN_SUCCESS0) |
2373 | return(r); |
2374 | |
2375 | if (copy_size != 0) { |
2376 | /* |
2377 | * Dispose of the copied region |
2378 | */ |
2379 | |
2380 | vm_map_copy_clip_end(copy, copy_entry,({ if ((copy_entry->links.start + copy_size) < (copy_entry )->links.end) _vm_map_clip_end(&(copy)->c_u.hdr,(copy_entry ),(copy_entry->links.start + copy_size)); }) |
2381 | copy_entry->vme_start + copy_size)({ if ((copy_entry->links.start + copy_size) < (copy_entry )->links.end) _vm_map_clip_end(&(copy)->c_u.hdr,(copy_entry ),(copy_entry->links.start + copy_size)); }); |
2382 | vm_map_copy_entry_unlink(copy, copy_entry)({ (&(copy)->c_u.hdr)->nentries--; (copy_entry)-> links.next->links.prev = (copy_entry)->links.prev; (copy_entry )->links.prev->links.next = (copy_entry)->links.next ; rbtree_remove(&(&(copy)->c_u.hdr)->tree, & (copy_entry)->tree_node); }); |
2383 | vm_object_deallocate(copy_entry->object.vm_object); |
2384 | vm_map_copy_entry_dispose(copy, copy_entry)_vm_map_entry_dispose(&(copy)->c_u.hdr, (copy_entry)); |
2385 | } |
2386 | |
2387 | /* |
2388 | * Pick up in the destination map where we left off. |
2389 | * |
2390 | * Use the version information to avoid a lookup |
2391 | * in the normal case. |
2392 | */ |
2393 | |
2394 | start += copy_size; |
2395 | vm_map_lock(dst_map)({ lock_write(&(dst_map)->lock); (dst_map)->timestamp ++; }); |
2396 | if ((version.main_timestamp + 1) == dst_map->timestamp) { |
2397 | /* We can safely use saved tmp_entry value */ |
2398 | |
2399 | vm_map_clip_end(dst_map, tmp_entry, start)({ if ((start) < (tmp_entry)->links.end) _vm_map_clip_end (&(dst_map)->hdr,(tmp_entry),(start)); }); |
2400 | tmp_entry = tmp_entry->vme_nextlinks.next; |
2401 | } else { |
2402 | /* Must do lookup of tmp_entry */ |
2403 | |
2404 | if (!vm_map_lookup_entry(dst_map, start, &tmp_entry)) { |
2405 | vm_map_unlock(dst_map)lock_done(&(dst_map)->lock); |
2406 | return(KERN_INVALID_ADDRESS1); |
2407 | } |
2408 | vm_map_clip_start(dst_map, tmp_entry, start)({ if ((start) > (tmp_entry)->links.start) _vm_map_clip_start (&(dst_map)->hdr,(tmp_entry),(start)); }); |
2409 | } |
2410 | } |
2411 | |
2412 | } |
2413 | vm_map_unlock(dst_map)lock_done(&(dst_map)->lock); |
2414 | |
2415 | /* |
2416 | * Throw away the vm_map_copy object |
2417 | */ |
2418 | vm_map_copy_discard(copy); |
2419 | |
2420 | return(KERN_SUCCESS0); |
2421 | } |
2422 | |
2423 | /* |
2424 | * Macro: vm_map_copy_insert |
2425 | * |
2426 | * Description: |
2427 | * Link a copy chain ("copy") into a map at the |
2428 | * specified location (after "where"). |
2429 | * Side effects: |
2430 | * The copy chain is destroyed. |
2431 | * Warning: |
2432 | * The arguments are evaluated multiple times. |
2433 | */ |
2434 | #define vm_map_copy_insert(map, where, copy)({ struct rbtree_node *node, *tmp; for (node = rbtree_postwalk_deepest (&(copy)->c_u.hdr.tree), tmp = rbtree_postwalk_unlink( node); node != ((void *) 0); node = tmp, tmp = rbtree_postwalk_unlink (node)) ({ struct rbtree_node *___cur, *___prev; int ___diff, ___index; ___prev = ((void *) 0); ___index = -1; ___cur = (& (map)->hdr.tree)->root; while (___cur != ((void *) 0)) { ___diff = vm_map_entry_cmp_insert(node, ___cur); ({ if (!(___diff != 0)) Assert("___diff != 0", "../vm/vm_map.c", 2434); }); ___prev = ___cur; ___index = rbtree_d2i(___diff); ___cur = ___cur-> children[___index]; } rbtree_insert_rebalance(&(map)-> hdr.tree, ___prev, ___index, node); }); (((where)->links.next )->links.prev = ((copy)->c_u.hdr.links.prev)) ->links .next = ((where)->links.next); ((where)->links.next = ( (copy)->c_u.hdr.links.next)) ->links.prev = (where); (map )->hdr.nentries += (copy)->c_u.hdr.nentries; kmem_cache_free (&vm_map_copy_cache, (vm_offset_t) copy); }) \ |
2435 | MACRO_BEGIN({ \ |
2436 | struct rbtree_node *node, *tmp; \ |
2437 | rbtree_for_each_remove(&(copy)->cpy_hdr.tree, node, tmp)for (node = rbtree_postwalk_deepest(&(copy)->c_u.hdr.tree ), tmp = rbtree_postwalk_unlink(node); node != ((void *) 0); node = tmp, tmp = rbtree_postwalk_unlink(node)) \ |
2438 | rbtree_insert(&(map)->hdr.tree, node, \({ struct rbtree_node *___cur, *___prev; int ___diff, ___index ; ___prev = ((void *) 0); ___index = -1; ___cur = (&(map) ->hdr.tree)->root; while (___cur != ((void *) 0)) { ___diff = vm_map_entry_cmp_insert(node, ___cur); ({ if (!(___diff != 0)) Assert("___diff != 0", "../vm/vm_map.c", 2439); }); ___prev = ___cur; ___index = rbtree_d2i(___diff); ___cur = ___cur-> children[___index]; } rbtree_insert_rebalance(&(map)-> hdr.tree, ___prev, ___index, node); }) |
2439 | vm_map_entry_cmp_insert)({ struct rbtree_node *___cur, *___prev; int ___diff, ___index ; ___prev = ((void *) 0); ___index = -1; ___cur = (&(map) ->hdr.tree)->root; while (___cur != ((void *) 0)) { ___diff = vm_map_entry_cmp_insert(node, ___cur); ({ if (!(___diff != 0)) Assert("___diff != 0", "../vm/vm_map.c", 2439); }); ___prev = ___cur; ___index = rbtree_d2i(___diff); ___cur = ___cur-> children[___index]; } rbtree_insert_rebalance(&(map)-> hdr.tree, ___prev, ___index, node); }); \ |
2440 | (((where)->vme_nextlinks.next)->vme_prevlinks.prev = vm_map_copy_last_entry(copy)((copy)->c_u.hdr.links.prev)) \ |
2441 | ->vme_nextlinks.next = ((where)->vme_nextlinks.next); \ |
2442 | ((where)->vme_nextlinks.next = vm_map_copy_first_entry(copy)((copy)->c_u.hdr.links.next)) \ |
2443 | ->vme_prevlinks.prev = (where); \ |
2444 | (map)->hdr.nentries += (copy)->cpy_hdrc_u.hdr.nentries; \ |
2445 | kmem_cache_free(&vm_map_copy_cache, (vm_offset_t) copy); \ |
2446 | MACRO_END}) |
2447 | |
2448 | /* |
2449 | * Routine: vm_map_copyout |
2450 | * |
2451 | * Description: |
2452 | * Copy out a copy chain ("copy") into newly-allocated |
2453 | * space in the destination map. |
2454 | * |
2455 | * If successful, consumes the copy object. |
2456 | * Otherwise, the caller is responsible for it. |
2457 | */ |
2458 | kern_return_t vm_map_copyout(dst_map, dst_addr, copy) |
2459 | vm_map_t dst_map; |
2460 | vm_offset_t *dst_addr; /* OUT */ |
2461 | vm_map_copy_t copy; |
2462 | { |
2463 | vm_size_t size; |
2464 | vm_size_t adjustment; |
2465 | vm_offset_t start; |
2466 | vm_offset_t vm_copy_start; |
2467 | vm_map_entry_t last; |
2468 | vm_map_entry_t entry; |
2469 | |
2470 | /* |
2471 | * Check for null copy object. |
2472 | */ |
2473 | |
2474 | if (copy == VM_MAP_COPY_NULL((vm_map_copy_t) 0)) { |
2475 | *dst_addr = 0; |
2476 | return(KERN_SUCCESS0); |
2477 | } |
2478 | |
2479 | /* |
2480 | * Check for special copy object, created |
2481 | * by vm_map_copyin_object. |
2482 | */ |
2483 | |
2484 | if (copy->type == VM_MAP_COPY_OBJECT2) { |
2485 | vm_object_t object = copy->cpy_objectc_u.c_o.object; |
2486 | vm_size_t offset = copy->offset; |
2487 | vm_size_t tmp_size = copy->size; |
2488 | kern_return_t kr; |
2489 | |
2490 | *dst_addr = 0; |
2491 | kr = vm_map_enter(dst_map, dst_addr, tmp_size, |
2492 | (vm_offset_t) 0, TRUE((boolean_t) 1), |
2493 | object, offset, FALSE((boolean_t) 0), |
2494 | VM_PROT_DEFAULT(((vm_prot_t) 0x01)|((vm_prot_t) 0x02)), VM_PROT_ALL(((vm_prot_t) 0x01)|((vm_prot_t) 0x02)|((vm_prot_t) 0x04)), |
2495 | VM_INHERIT_DEFAULT((vm_inherit_t) 1)); |
2496 | if (kr != KERN_SUCCESS0) |
2497 | return(kr); |
2498 | kmem_cache_free(&vm_map_copy_cache, (vm_offset_t) copy); |
2499 | return(KERN_SUCCESS0); |
2500 | } |
2501 | |
2502 | if (copy->type == VM_MAP_COPY_PAGE_LIST3) |
2503 | return(vm_map_copyout_page_list(dst_map, dst_addr, copy)); |
2504 | |
2505 | /* |
2506 | * Find space for the data |
2507 | */ |
2508 | |
2509 | vm_copy_start = trunc_page(copy->offset)((vm_offset_t)(((vm_offset_t)(copy->offset)) & ~((1 << 12)-1))); |
2510 | size = round_page(copy->offset + copy->size)((vm_offset_t)((((vm_offset_t)(copy->offset + copy->size )) + ((1 << 12)-1)) & ~((1 << 12)-1))) - vm_copy_start; |
2511 | |
2512 | StartAgain: ; |
2513 | |
2514 | vm_map_lock(dst_map)({ lock_write(&(dst_map)->lock); (dst_map)->timestamp ++; }); |
2515 | start = ((last = dst_map->first_free) == vm_map_to_entry(dst_map)((struct vm_map_entry *) &(dst_map)->hdr.links)) ? |
2516 | vm_map_min(dst_map)((dst_map)->hdr.links.start) : last->vme_endlinks.end; |
2517 | |
2518 | while (TRUE((boolean_t) 1)) { |
2519 | vm_map_entry_t next = last->vme_nextlinks.next; |
2520 | vm_offset_t end = start + size; |
2521 | |
2522 | if ((end > dst_map->max_offsethdr.links.end) || (end < start)) { |
2523 | if (dst_map->wait_for_space) { |
2524 | if (size <= (dst_map->max_offsethdr.links.end - dst_map->min_offsethdr.links.start)) { |
2525 | assert_wait((event_t) dst_map, TRUE((boolean_t) 1)); |
2526 | vm_map_unlock(dst_map)lock_done(&(dst_map)->lock); |
2527 | thread_block((void (*)()) 0); |
2528 | goto StartAgain; |
2529 | } |
2530 | } |
2531 | vm_map_unlock(dst_map)lock_done(&(dst_map)->lock); |
2532 | printf_once("no more room for vm_map_copyout in %p\n", dst_map)({ static int __once = 0; if (!__once) { printf("no more room for vm_map_copyout in %p\n" , dst_map); __once = 1; } }); |
2533 | return(KERN_NO_SPACE3); |
2534 | } |
2535 | |
2536 | if ((next == vm_map_to_entry(dst_map)((struct vm_map_entry *) &(dst_map)->hdr.links)) || |
2537 | (next->vme_startlinks.start >= end)) |
2538 | break; |
2539 | |
2540 | last = next; |
2541 | start = last->vme_endlinks.end; |
2542 | } |
2543 | |
2544 | /* |
2545 | * Since we're going to just drop the map |
2546 | * entries from the copy into the destination |
2547 | * map, they must come from the same pool. |
2548 | */ |
2549 | |
2550 | if (copy->cpy_hdrc_u.hdr.entries_pageable != dst_map->hdr.entries_pageable) { |
2551 | /* |
2552 | * Mismatches occur when dealing with the default |
2553 | * pager. |
2554 | */ |
2555 | kmem_cache_t old_cache; |
2556 | vm_map_entry_t next, new; |
2557 | |
2558 | /* |
2559 | * Find the cache that the copies were allocated from |
2560 | */ |
2561 | old_cache = (copy->cpy_hdrc_u.hdr.entries_pageable) |
2562 | ? &vm_map_entry_cache |
2563 | : &vm_map_kentry_cache; |
2564 | entry = vm_map_copy_first_entry(copy)((copy)->c_u.hdr.links.next); |
2565 | |
2566 | /* |
2567 | * Reinitialize the copy so that vm_map_copy_entry_link |
2568 | * will work. |
2569 | */ |
2570 | copy->cpy_hdrc_u.hdr.nentries = 0; |
2571 | copy->cpy_hdrc_u.hdr.entries_pageable = dst_map->hdr.entries_pageable; |
2572 | vm_map_copy_first_entry(copy)((copy)->c_u.hdr.links.next) = |
2573 | vm_map_copy_last_entry(copy)((copy)->c_u.hdr.links.prev) = |
2574 | vm_map_copy_to_entry(copy)((struct vm_map_entry *) &(copy)->c_u.hdr.links); |
2575 | |
2576 | /* |
2577 | * Copy each entry. |
2578 | */ |
2579 | while (entry != vm_map_copy_to_entry(copy)((struct vm_map_entry *) &(copy)->c_u.hdr.links)) { |
2580 | new = vm_map_copy_entry_create(copy)_vm_map_entry_create(&(copy)->c_u.hdr); |
2581 | vm_map_entry_copy_full(new, entry)(*(new) = *(entry)); |
2582 | vm_map_copy_entry_link(copy,({ (&(copy)->c_u.hdr)->nentries++; (new)->links. prev = (((copy)->c_u.hdr.links.prev)); (new)->links.next = (((copy)->c_u.hdr.links.prev))->links.next; (new)-> links.prev->links.next = (new)->links.next->links.prev = (new); ({ struct rbtree_node *___cur, *___prev; int ___diff , ___index; ___prev = ((void *) 0); ___index = -1; ___cur = ( &(&(copy)->c_u.hdr)->tree)->root; while (___cur != ((void *) 0)) { ___diff = vm_map_entry_cmp_insert(&(new )->tree_node, ___cur); ({ if (!(___diff != 0)) Assert("___diff != 0" , "../vm/vm_map.c", 2584); }); ___prev = ___cur; ___index = rbtree_d2i (___diff); ___cur = ___cur->children[___index]; } rbtree_insert_rebalance (&(&(copy)->c_u.hdr)->tree, ___prev, ___index, & (new)->tree_node); }); }) |
2583 | vm_map_copy_last_entry(copy),({ (&(copy)->c_u.hdr)->nentries++; (new)->links. prev = (((copy)->c_u.hdr.links.prev)); (new)->links.next = (((copy)->c_u.hdr.links.prev))->links.next; (new)-> links.prev->links.next = (new)->links.next->links.prev = (new); ({ struct rbtree_node *___cur, *___prev; int ___diff , ___index; ___prev = ((void *) 0); ___index = -1; ___cur = ( &(&(copy)->c_u.hdr)->tree)->root; while (___cur != ((void *) 0)) { ___diff = vm_map_entry_cmp_insert(&(new )->tree_node, ___cur); ({ if (!(___diff != 0)) Assert("___diff != 0" , "../vm/vm_map.c", 2584); }); ___prev = ___cur; ___index = rbtree_d2i (___diff); ___cur = ___cur->children[___index]; } rbtree_insert_rebalance (&(&(copy)->c_u.hdr)->tree, ___prev, ___index, & (new)->tree_node); }); }) |
2584 | new)({ (&(copy)->c_u.hdr)->nentries++; (new)->links. prev = (((copy)->c_u.hdr.links.prev)); (new)->links.next = (((copy)->c_u.hdr.links.prev))->links.next; (new)-> links.prev->links.next = (new)->links.next->links.prev = (new); ({ struct rbtree_node *___cur, *___prev; int ___diff , ___index; ___prev = ((void *) 0); ___index = -1; ___cur = ( &(&(copy)->c_u.hdr)->tree)->root; while (___cur != ((void *) 0)) { ___diff = vm_map_entry_cmp_insert(&(new )->tree_node, ___cur); ({ if (!(___diff != 0)) Assert("___diff != 0" , "../vm/vm_map.c", 2584); }); ___prev = ___cur; ___index = rbtree_d2i (___diff); ___cur = ___cur->children[___index]; } rbtree_insert_rebalance (&(&(copy)->c_u.hdr)->tree, ___prev, ___index, & (new)->tree_node); }); }); |
2585 | next = entry->vme_nextlinks.next; |
2586 | kmem_cache_free(old_cache, (vm_offset_t) entry); |
2587 | entry = next; |
2588 | } |
2589 | } |
2590 | |
2591 | /* |
2592 | * Adjust the addresses in the copy chain, and |
2593 | * reset the region attributes. |
2594 | */ |
2595 | |
2596 | adjustment = start - vm_copy_start; |
2597 | for (entry = vm_map_copy_first_entry(copy)((copy)->c_u.hdr.links.next); |
2598 | entry != vm_map_copy_to_entry(copy)((struct vm_map_entry *) &(copy)->c_u.hdr.links); |
2599 | entry = entry->vme_nextlinks.next) { |
2600 | entry->vme_startlinks.start += adjustment; |
2601 | entry->vme_endlinks.end += adjustment; |
2602 | |
2603 | entry->inheritance = VM_INHERIT_DEFAULT((vm_inherit_t) 1); |
2604 | entry->protection = VM_PROT_DEFAULT(((vm_prot_t) 0x01)|((vm_prot_t) 0x02)); |
2605 | entry->max_protection = VM_PROT_ALL(((vm_prot_t) 0x01)|((vm_prot_t) 0x02)|((vm_prot_t) 0x04)); |
2606 | entry->projected_on = 0; |
2607 | |
2608 | /* |
2609 | * If the entry is now wired, |
2610 | * map the pages into the destination map. |
2611 | */ |
2612 | if (entry->wired_count != 0) { |
2613 | vm_offset_t va; |
2614 | vm_offset_t offset; |
2615 | vm_object_t object; |
2616 | |
2617 | object = entry->object.vm_object; |
2618 | offset = entry->offset; |
2619 | va = entry->vme_startlinks.start; |
2620 | |
2621 | pmap_pageable(dst_map->pmap, |
2622 | entry->vme_startlinks.start, |
2623 | entry->vme_endlinks.end, |
2624 | TRUE((boolean_t) 1)); |
2625 | |
2626 | while (va < entry->vme_endlinks.end) { |
2627 | vm_page_t m; |
2628 | |
2629 | /* |
2630 | * Look up the page in the object. |
2631 | * Assert that the page will be found in the |
2632 | * top object: |
2633 | * either |
2634 | * the object was newly created by |
2635 | * vm_object_copy_slowly, and has |
2636 | * copies of all of the pages from |
2637 | * the source object |
2638 | * or |
2639 | * the object was moved from the old |
2640 | * map entry; because the old map |
2641 | * entry was wired, all of the pages |
2642 | * were in the top-level object. |
2643 | * (XXX not true if we wire pages for |
2644 | * reading) |
2645 | */ |
2646 | vm_object_lock(object); |
2647 | vm_object_paging_begin(object)((object)->paging_in_progress++); |
2648 | |
2649 | m = vm_page_lookup(object, offset); |
2650 | if (m == VM_PAGE_NULL((vm_page_t) 0) || m->wire_count == 0 || |
2651 | m->absent) |
2652 | panic("vm_map_copyout: wiring 0x%x", m); |
2653 | |
2654 | m->busy = TRUE((boolean_t) 1); |
2655 | vm_object_unlock(object); |
2656 | |
2657 | PMAP_ENTER(dst_map->pmap, va, m,({ pmap_enter( (dst_map->pmap), (va), (m)->phys_addr, ( entry->protection) & ~(m)->page_lock, (((boolean_t) 1)) ); }) |
2658 | entry->protection, TRUE)({ pmap_enter( (dst_map->pmap), (va), (m)->phys_addr, ( entry->protection) & ~(m)->page_lock, (((boolean_t) 1)) ); }); |
2659 | |
2660 | vm_object_lock(object); |
2661 | PAGE_WAKEUP_DONE(m)({ (m)->busy = ((boolean_t) 0); if ((m)->wanted) { (m)-> wanted = ((boolean_t) 0); thread_wakeup_prim((((event_t) m)), ((boolean_t) 0), 0); } }); |
2662 | /* the page is wired, so we don't have to activate */ |
2663 | vm_object_paging_end(object)({ ({ if (!((object)->paging_in_progress != 0)) Assert("(object)->paging_in_progress != 0" , "../vm/vm_map.c", 2663); }); if (--(object)->paging_in_progress == 0) { ({ if ((object)->all_wanted & (1 << (2) )) thread_wakeup_prim(((event_t)(((vm_offset_t) object) + (2) )), ((boolean_t) 0), 0); (object)->all_wanted &= ~(1 << (2)); }); } }); |
2664 | vm_object_unlock(object); |
2665 | |
2666 | offset += PAGE_SIZE(1 << 12); |
2667 | va += PAGE_SIZE(1 << 12); |
2668 | } |
2669 | } |
2670 | |
2671 | |
2672 | } |
2673 | |
2674 | /* |
2675 | * Correct the page alignment for the result |
2676 | */ |
2677 | |
2678 | *dst_addr = start + (copy->offset - vm_copy_start); |
2679 | |
2680 | /* |
2681 | * Update the hints and the map size |
2682 | */ |
2683 | |
2684 | if (dst_map->first_free == last) |
2685 | dst_map->first_free = vm_map_copy_last_entry(copy)((copy)->c_u.hdr.links.prev); |
2686 | SAVE_HINT(dst_map, vm_map_copy_last_entry(copy)); (dst_map)->hint = (((copy)->c_u.hdr.links.prev)); ;; |
2687 | |
2688 | dst_map->size += size; |
2689 | |
2690 | /* |
2691 | * Link in the copy |
2692 | */ |
2693 | |
2694 | vm_map_copy_insert(dst_map, last, copy)({ struct rbtree_node *node, *tmp; for (node = rbtree_postwalk_deepest (&(copy)->c_u.hdr.tree), tmp = rbtree_postwalk_unlink( node); node != ((void *) 0); node = tmp, tmp = rbtree_postwalk_unlink (node)) ({ struct rbtree_node *___cur, *___prev; int ___diff, ___index; ___prev = ((void *) 0); ___index = -1; ___cur = (& (dst_map)->hdr.tree)->root; while (___cur != ((void *) 0 )) { ___diff = vm_map_entry_cmp_insert(node, ___cur); ({ if ( !(___diff != 0)) Assert("___diff != 0", "../vm/vm_map.c", 2694 ); }); ___prev = ___cur; ___index = rbtree_d2i(___diff); ___cur = ___cur->children[___index]; } rbtree_insert_rebalance(& (dst_map)->hdr.tree, ___prev, ___index, node); }); (((last )->links.next)->links.prev = ((copy)->c_u.hdr.links. prev)) ->links.next = ((last)->links.next); ((last)-> links.next = ((copy)->c_u.hdr.links.next)) ->links.prev = (last); (dst_map)->hdr.nentries += (copy)->c_u.hdr.nentries ; kmem_cache_free(&vm_map_copy_cache, (vm_offset_t) copy) ; }); |
2695 | |
2696 | vm_map_unlock(dst_map)lock_done(&(dst_map)->lock); |
2697 | |
2698 | /* |
2699 | * XXX If wiring_required, call vm_map_pageable |
2700 | */ |
2701 | |
2702 | return(KERN_SUCCESS0); |
2703 | } |
2704 | |
2705 | /* |
2706 | * |
2707 | * vm_map_copyout_page_list: |
2708 | * |
2709 | * Version of vm_map_copyout() for page list vm map copies. |
2710 | * |
2711 | */ |
2712 | kern_return_t vm_map_copyout_page_list(dst_map, dst_addr, copy) |
2713 | vm_map_t dst_map; |
2714 | vm_offset_t *dst_addr; /* OUT */ |
2715 | vm_map_copy_t copy; |
2716 | { |
2717 | vm_size_t size; |
2718 | vm_offset_t start; |
2719 | vm_offset_t end; |
2720 | vm_offset_t offset; |
2721 | vm_map_entry_t last; |
2722 | vm_object_t object; |
2723 | vm_page_t *page_list, m; |
2724 | vm_map_entry_t entry; |
2725 | vm_offset_t old_last_offset; |
2726 | boolean_t cont_invoked, needs_wakeup = FALSE((boolean_t) 0); |
2727 | kern_return_t result = KERN_SUCCESS0; |
2728 | vm_map_copy_t orig_copy; |
2729 | vm_offset_t dst_offset; |
2730 | boolean_t must_wire; |
2731 | |
2732 | /* |
2733 | * Make sure the pages are stolen, because we are |
2734 | * going to put them in a new object. Assume that |
2735 | * all pages are identical to first in this regard. |
2736 | */ |
2737 | |
2738 | page_list = ©->cpy_page_listc_u.c_p.page_list[0]; |
2739 | if ((*page_list)->tabled) |
2740 | vm_map_copy_steal_pages(copy); |
2741 | |
2742 | /* |
2743 | * Find space for the data |
2744 | */ |
2745 | |
2746 | size = round_page(copy->offset + copy->size)((vm_offset_t)((((vm_offset_t)(copy->offset + copy->size )) + ((1 << 12)-1)) & ~((1 << 12)-1))) - |
2747 | trunc_page(copy->offset)((vm_offset_t)(((vm_offset_t)(copy->offset)) & ~((1 << 12)-1))); |
2748 | StartAgain: |
2749 | vm_map_lock(dst_map)({ lock_write(&(dst_map)->lock); (dst_map)->timestamp ++; }); |
2750 | must_wire = dst_map->wiring_required; |
2751 | |
2752 | last = dst_map->first_free; |
2753 | if (last == vm_map_to_entry(dst_map)((struct vm_map_entry *) &(dst_map)->hdr.links)) { |
2754 | start = vm_map_min(dst_map)((dst_map)->hdr.links.start); |
2755 | } else { |
2756 | start = last->vme_endlinks.end; |
2757 | } |
2758 | |
2759 | while (TRUE((boolean_t) 1)) { |
2760 | vm_map_entry_t next = last->vme_nextlinks.next; |
2761 | end = start + size; |
2762 | |
2763 | if ((end > dst_map->max_offsethdr.links.end) || (end < start)) { |
2764 | if (dst_map->wait_for_space) { |
2765 | if (size <= (dst_map->max_offsethdr.links.end - |
2766 | dst_map->min_offsethdr.links.start)) { |
2767 | assert_wait((event_t) dst_map, TRUE((boolean_t) 1)); |
2768 | vm_map_unlock(dst_map)lock_done(&(dst_map)->lock); |
2769 | thread_block((void (*)()) 0); |
2770 | goto StartAgain; |
2771 | } |
2772 | } |
2773 | vm_map_unlock(dst_map)lock_done(&(dst_map)->lock); |
2774 | printf_once("no more room for vm_map_copyout_page_list in %p\n", dst_map)({ static int __once = 0; if (!__once) { printf("no more room for vm_map_copyout_page_list in %p\n" , dst_map); __once = 1; } }); |
2775 | return(KERN_NO_SPACE3); |
2776 | } |
2777 | |
2778 | if ((next == vm_map_to_entry(dst_map)((struct vm_map_entry *) &(dst_map)->hdr.links)) || |
2779 | (next->vme_startlinks.start >= end)) { |
2780 | break; |
2781 | } |
2782 | |
2783 | last = next; |
2784 | start = last->vme_endlinks.end; |
2785 | } |
2786 | |
2787 | /* |
2788 | * See whether we can avoid creating a new entry (and object) by |
2789 | * extending one of our neighbors. [So far, we only attempt to |
2790 | * extend from below.] |
2791 | * |
2792 | * The code path below here is a bit twisted. If any of the |
2793 | * extension checks fails, we branch to create_object. If |
2794 | * it all works, we fall out the bottom and goto insert_pages. |
2795 | */ |
2796 | if (last == vm_map_to_entry(dst_map)((struct vm_map_entry *) &(dst_map)->hdr.links) || |
2797 | last->vme_endlinks.end != start || |
2798 | last->is_shared != FALSE((boolean_t) 0) || |
2799 | last->is_sub_map != FALSE((boolean_t) 0) || |
2800 | last->inheritance != VM_INHERIT_DEFAULT((vm_inherit_t) 1) || |
2801 | last->protection != VM_PROT_DEFAULT(((vm_prot_t) 0x01)|((vm_prot_t) 0x02)) || |
2802 | last->max_protection != VM_PROT_ALL(((vm_prot_t) 0x01)|((vm_prot_t) 0x02)|((vm_prot_t) 0x04)) || |
2803 | (must_wire ? (last->wired_count != 1 || |
2804 | last->user_wired_count != 1) : |
2805 | (last->wired_count != 0))) { |
2806 | goto create_object; |
2807 | } |
2808 | |
2809 | /* |
2810 | * If this entry needs an object, make one. |
2811 | */ |
2812 | if (last->object.vm_object == VM_OBJECT_NULL((vm_object_t) 0)) { |
2813 | object = vm_object_allocate( |
2814 | (vm_size_t)(last->vme_endlinks.end - last->vme_startlinks.start + size)); |
2815 | last->object.vm_object = object; |
2816 | last->offset = 0; |
2817 | vm_object_lock(object); |
2818 | } |
2819 | else { |
2820 | vm_offset_t prev_offset = last->offset; |
2821 | vm_size_t prev_size = start - last->vme_startlinks.start; |
2822 | vm_size_t new_size; |
2823 | |
2824 | /* |
2825 | * This is basically vm_object_coalesce. |
2826 | */ |
2827 | |
2828 | object = last->object.vm_object; |
2829 | vm_object_lock(object); |
2830 | |
2831 | /* |
2832 | * Try to collapse the object first |
2833 | */ |
2834 | vm_object_collapse(object); |
2835 | |
2836 | /* |
2837 | * Can't coalesce if pages not mapped to |
2838 | * last may be in use anyway: |
2839 | * . more than one reference |
2840 | * . paged out |
2841 | * . shadows another object |
2842 | * . has a copy elsewhere |
2843 | * . paging references (pages might be in page-list) |
2844 | */ |
2845 | |
2846 | if ((object->ref_count > 1) || |
2847 | object->pager_created || |
2848 | (object->shadow != VM_OBJECT_NULL((vm_object_t) 0)) || |
2849 | (object->copy != VM_OBJECT_NULL((vm_object_t) 0)) || |
2850 | (object->paging_in_progress != 0)) { |
2851 | vm_object_unlock(object); |
2852 | goto create_object; |
2853 | } |
2854 | |
2855 | /* |
2856 | * Extend the object if necessary. Don't have to call |
2857 | * vm_object_page_remove because the pages aren't mapped, |
2858 | * and vm_page_replace will free up any old ones it encounters. |
2859 | */ |
2860 | new_size = prev_offset + prev_size + size; |
2861 | if (new_size > object->size) |
2862 | object->size = new_size; |
2863 | } |
2864 | |
2865 | /* |
2866 | * Coalesced the two objects - can extend |
2867 | * the previous map entry to include the |
2868 | * new range. |
2869 | */ |
2870 | dst_map->size += size; |
2871 | last->vme_endlinks.end = end; |
2872 | |
2873 | SAVE_HINT(dst_map, last); (dst_map)->hint = (last); ;; |
2874 | |
2875 | goto insert_pages; |
2876 | |
2877 | create_object: |
2878 | |
2879 | /* |
2880 | * Create object |
2881 | */ |
2882 | object = vm_object_allocate(size); |
2883 | |
2884 | /* |
2885 | * Create entry |
2886 | */ |
2887 | |
2888 | entry = vm_map_entry_create(dst_map)_vm_map_entry_create(&(dst_map)->hdr); |
2889 | |
2890 | entry->object.vm_object = object; |
2891 | entry->offset = 0; |
2892 | |
2893 | entry->is_shared = FALSE((boolean_t) 0); |
2894 | entry->is_sub_map = FALSE((boolean_t) 0); |
2895 | entry->needs_copy = FALSE((boolean_t) 0); |
2896 | |
2897 | if (must_wire) { |
2898 | entry->wired_count = 1; |
2899 | entry->user_wired_count = 1; |
2900 | } else { |
2901 | entry->wired_count = 0; |
2902 | entry->user_wired_count = 0; |
2903 | } |
2904 | |
2905 | entry->in_transition = TRUE((boolean_t) 1); |
2906 | entry->needs_wakeup = FALSE((boolean_t) 0); |
2907 | |
2908 | entry->vme_startlinks.start = start; |
2909 | entry->vme_endlinks.end = start + size; |
2910 | |
2911 | entry->inheritance = VM_INHERIT_DEFAULT((vm_inherit_t) 1); |
2912 | entry->protection = VM_PROT_DEFAULT(((vm_prot_t) 0x01)|((vm_prot_t) 0x02)); |
2913 | entry->max_protection = VM_PROT_ALL(((vm_prot_t) 0x01)|((vm_prot_t) 0x02)|((vm_prot_t) 0x04)); |
2914 | entry->projected_on = 0; |
2915 | |
2916 | vm_object_lock(object); |
2917 | |
2918 | /* |
2919 | * Update the hints and the map size |
2920 | */ |
2921 | if (dst_map->first_free == last) { |
2922 | dst_map->first_free = entry; |
2923 | } |
2924 | SAVE_HINT(dst_map, entry); (dst_map)->hint = (entry); ;; |
2925 | dst_map->size += size; |
2926 | |
2927 | /* |
2928 | * Link in the entry |
2929 | */ |
2930 | vm_map_entry_link(dst_map, last, entry)({ (&(dst_map)->hdr)->nentries++; (entry)->links .prev = (last); (entry)->links.next = (last)->links.next ; (entry)->links.prev->links.next = (entry)->links.next ->links.prev = (entry); ({ struct rbtree_node *___cur, *___prev ; int ___diff, ___index; ___prev = ((void *) 0); ___index = - 1; ___cur = (&(&(dst_map)->hdr)->tree)->root ; while (___cur != ((void *) 0)) { ___diff = vm_map_entry_cmp_insert (&(entry)->tree_node, ___cur); ({ if (!(___diff != 0)) Assert("___diff != 0", "../vm/vm_map.c", 2930); }); ___prev = ___cur; ___index = rbtree_d2i(___diff); ___cur = ___cur-> children[___index]; } rbtree_insert_rebalance(&(&(dst_map )->hdr)->tree, ___prev, ___index, &(entry)->tree_node ); }); }); |
2931 | last = entry; |
2932 | |
2933 | /* |
2934 | * Transfer pages into new object. |
2935 | * Scan page list in vm_map_copy. |
2936 | */ |
2937 | insert_pages: |
2938 | dst_offset = copy->offset & PAGE_MASK((1 << 12)-1); |
2939 | cont_invoked = FALSE((boolean_t) 0); |
2940 | orig_copy = copy; |
2941 | last->in_transition = TRUE((boolean_t) 1); |
2942 | old_last_offset = last->offset |
2943 | + (start - last->vme_startlinks.start); |
2944 | |
2945 | vm_page_lock_queues(); |
2946 | |
2947 | for (offset = 0; offset < size; offset += PAGE_SIZE(1 << 12)) { |
2948 | m = *page_list; |
2949 | assert(m && !m->tabled)({ if (!(m && !m->tabled)) Assert("m && !m->tabled" , "../vm/vm_map.c", 2949); }); |
2950 | |
2951 | /* |
2952 | * Must clear busy bit in page before inserting it. |
2953 | * Ok to skip wakeup logic because nobody else |
2954 | * can possibly know about this page. |
2955 | * The page is dirty in its new object. |
2956 | */ |
2957 | |
2958 | assert(!m->wanted)({ if (!(!m->wanted)) Assert("!m->wanted", "../vm/vm_map.c" , 2958); }); |
2959 | |
2960 | m->busy = FALSE((boolean_t) 0); |
2961 | m->dirty = TRUE((boolean_t) 1); |
2962 | vm_page_replace(m, object, old_last_offset + offset); |
2963 | if (must_wire) { |
2964 | vm_page_wire(m); |
2965 | PMAP_ENTER(dst_map->pmap,({ pmap_enter( (dst_map->pmap), (last->links.start + m-> offset - last->offset), (m)->phys_addr, (last->protection ) & ~(m)->page_lock, (((boolean_t) 1)) ); }) |
2966 | last->vme_start + m->offset - last->offset,({ pmap_enter( (dst_map->pmap), (last->links.start + m-> offset - last->offset), (m)->phys_addr, (last->protection ) & ~(m)->page_lock, (((boolean_t) 1)) ); }) |
2967 | m, last->protection, TRUE)({ pmap_enter( (dst_map->pmap), (last->links.start + m-> offset - last->offset), (m)->phys_addr, (last->protection ) & ~(m)->page_lock, (((boolean_t) 1)) ); }); |
2968 | } else { |
2969 | vm_page_activate(m); |
2970 | } |
2971 | |
2972 | *page_list++ = VM_PAGE_NULL((vm_page_t) 0); |
2973 | if (--(copy->cpy_npagesc_u.c_p.npages) == 0 && |
2974 | vm_map_copy_has_cont(copy)(((copy)->c_u.c_p.cont) != (kern_return_t (*)()) 0)) { |
2975 | vm_map_copy_t new_copy; |
2976 | |
2977 | /* |
2978 | * Ok to unlock map because entry is |
2979 | * marked in_transition. |
2980 | */ |
2981 | cont_invoked = TRUE((boolean_t) 1); |
2982 | vm_page_unlock_queues(); |
2983 | vm_object_unlock(object); |
2984 | vm_map_unlock(dst_map)lock_done(&(dst_map)->lock); |
2985 | vm_map_copy_invoke_cont(copy, &new_copy, &result)({ vm_map_copy_page_discard(copy); *&result = (*((copy)-> c_u.c_p.cont))((copy)->c_u.c_p.cont_args, &new_copy); ( copy)->c_u.c_p.cont = (kern_return_t (*)()) 0; }); |
2986 | |
2987 | if (result == KERN_SUCCESS0) { |
2988 | |
2989 | /* |
2990 | * If we got back a copy with real pages, |
2991 | * steal them now. Either all of the |
2992 | * pages in the list are tabled or none |
2993 | * of them are; mixtures are not possible. |
2994 | * |
2995 | * Save original copy for consume on |
2996 | * success logic at end of routine. |
2997 | */ |
2998 | if (copy != orig_copy) |
2999 | vm_map_copy_discard(copy); |
3000 | |
3001 | if ((copy = new_copy) != VM_MAP_COPY_NULL((vm_map_copy_t) 0)) { |
3002 | page_list = ©->cpy_page_listc_u.c_p.page_list[0]; |
3003 | if ((*page_list)->tabled) |
3004 | vm_map_copy_steal_pages(copy); |
3005 | } |
3006 | } |
3007 | else { |
3008 | /* |
3009 | * Continuation failed. |
3010 | */ |
3011 | vm_map_lock(dst_map)({ lock_write(&(dst_map)->lock); (dst_map)->timestamp ++; }); |
3012 | goto error; |
3013 | } |
3014 | |
3015 | vm_map_lock(dst_map)({ lock_write(&(dst_map)->lock); (dst_map)->timestamp ++; }); |
3016 | vm_object_lock(object); |
3017 | vm_page_lock_queues(); |
3018 | } |
3019 | } |
3020 | |
3021 | vm_page_unlock_queues(); |
3022 | vm_object_unlock(object); |
3023 | |
3024 | *dst_addr = start + dst_offset; |
3025 | |
3026 | /* |
3027 | * Clear the in transition bits. This is easy if we |
3028 | * didn't have a continuation. |
3029 | */ |
3030 | error: |
3031 | if (!cont_invoked) { |
3032 | /* |
3033 | * We didn't unlock the map, so nobody could |
3034 | * be waiting. |
3035 | */ |
3036 | last->in_transition = FALSE((boolean_t) 0); |
3037 | assert(!last->needs_wakeup)({ if (!(!last->needs_wakeup)) Assert("!last->needs_wakeup" , "../vm/vm_map.c", 3037); }); |
3038 | needs_wakeup = FALSE((boolean_t) 0); |
3039 | } |
3040 | else { |
3041 | if (!vm_map_lookup_entry(dst_map, start, &entry)) |
3042 | panic("vm_map_copyout_page_list: missing entry"); |
3043 | |
3044 | /* |
3045 | * Clear transition bit for all constituent entries that |
3046 | * were in the original entry. Also check for waiters. |
3047 | */ |
3048 | while((entry != vm_map_to_entry(dst_map)((struct vm_map_entry *) &(dst_map)->hdr.links)) && |
3049 | (entry->vme_startlinks.start < end)) { |
3050 | assert(entry->in_transition)({ if (!(entry->in_transition)) Assert("entry->in_transition" , "../vm/vm_map.c", 3050); }); |
3051 | entry->in_transition = FALSE((boolean_t) 0); |
3052 | if(entry->needs_wakeup) { |
3053 | entry->needs_wakeup = FALSE((boolean_t) 0); |
3054 | needs_wakeup = TRUE((boolean_t) 1); |
3055 | } |
3056 | entry = entry->vme_nextlinks.next; |
3057 | } |
3058 | } |
3059 | |
3060 | if (result != KERN_SUCCESS0) |
3061 | vm_map_delete(dst_map, start, end); |
3062 | |
3063 | vm_map_unlock(dst_map)lock_done(&(dst_map)->lock); |
3064 | |
3065 | if (needs_wakeup) |
3066 | vm_map_entry_wakeup(dst_map)thread_wakeup_prim(((event_t)&(dst_map)->hdr), ((boolean_t ) 0), 0); |
3067 | |
3068 | /* |
3069 | * Consume on success logic. |
3070 | */ |
3071 | if (copy != orig_copy) { |
3072 | kmem_cache_free(&vm_map_copy_cache, (vm_offset_t) copy); |
3073 | } |
3074 | if (result == KERN_SUCCESS0) { |
3075 | kmem_cache_free(&vm_map_copy_cache, (vm_offset_t) orig_copy); |
3076 | } |
3077 | |
3078 | return(result); |
3079 | } |
3080 | |
3081 | /* |
3082 | * Routine: vm_map_copyin |
3083 | * |
3084 | * Description: |
3085 | * Copy the specified region (src_addr, len) from the |
3086 | * source address space (src_map), possibly removing |
3087 | * the region from the source address space (src_destroy). |
3088 | * |
3089 | * Returns: |
3090 | * A vm_map_copy_t object (copy_result), suitable for |
3091 | * insertion into another address space (using vm_map_copyout), |
3092 | * copying over another address space region (using |
3093 | * vm_map_copy_overwrite). If the copy is unused, it |
3094 | * should be destroyed (using vm_map_copy_discard). |
3095 | * |
3096 | * In/out conditions: |
3097 | * The source map should not be locked on entry. |
3098 | */ |
3099 | kern_return_t vm_map_copyin(src_map, src_addr, len, src_destroy, copy_result) |
3100 | vm_map_t src_map; |
3101 | vm_offset_t src_addr; |
3102 | vm_size_t len; |
3103 | boolean_t src_destroy; |
3104 | vm_map_copy_t *copy_result; /* OUT */ |
3105 | { |
3106 | vm_map_entry_t tmp_entry; /* Result of last map lookup -- |
3107 | * in multi-level lookup, this |
3108 | * entry contains the actual |
3109 | * vm_object/offset. |
3110 | */ |
3111 | |
3112 | vm_offset_t src_start; /* Start of current entry -- |
3113 | * where copy is taking place now |
3114 | */ |
3115 | vm_offset_t src_end; /* End of entire region to be |
3116 | * copied */ |
3117 | |
3118 | vm_map_copy_t copy; /* Resulting copy */ |
3119 | |
3120 | /* |
3121 | * Check for copies of zero bytes. |
3122 | */ |
3123 | |
3124 | if (len == 0) { |
3125 | *copy_result = VM_MAP_COPY_NULL((vm_map_copy_t) 0); |
3126 | return(KERN_SUCCESS0); |
3127 | } |
3128 | |
3129 | /* |
3130 | * Compute start and end of region |
3131 | */ |
3132 | |
3133 | src_start = trunc_page(src_addr)((vm_offset_t)(((vm_offset_t)(src_addr)) & ~((1 << 12 )-1))); |
3134 | src_end = round_page(src_addr + len)((vm_offset_t)((((vm_offset_t)(src_addr + len)) + ((1 << 12)-1)) & ~((1 << 12)-1))); |
3135 | |
3136 | /* |
3137 | * Check that the end address doesn't overflow |
3138 | */ |
3139 | |
3140 | if (src_end <= src_start) |
3141 | if ((src_end < src_start) || (src_start != 0)) |
3142 | return(KERN_INVALID_ADDRESS1); |
3143 | |
3144 | /* |
3145 | * Allocate a header element for the list. |
3146 | * |
3147 | * Use the start and end in the header to |
3148 | * remember the endpoints prior to rounding. |
3149 | */ |
3150 | |
3151 | copy = (vm_map_copy_t) kmem_cache_alloc(&vm_map_copy_cache); |
3152 | vm_map_copy_first_entry(copy)((copy)->c_u.hdr.links.next) = |
3153 | vm_map_copy_last_entry(copy)((copy)->c_u.hdr.links.prev) = vm_map_copy_to_entry(copy)((struct vm_map_entry *) &(copy)->c_u.hdr.links); |
3154 | copy->type = VM_MAP_COPY_ENTRY_LIST1; |
3155 | copy->cpy_hdrc_u.hdr.nentries = 0; |
3156 | copy->cpy_hdrc_u.hdr.entries_pageable = TRUE((boolean_t) 1); |
3157 | rbtree_init(©->cpy_hdrc_u.hdr.tree); |
3158 | |
3159 | copy->offset = src_addr; |
3160 | copy->size = len; |
3161 | |
3162 | #define RETURN(x) \ |
3163 | MACRO_BEGIN({ \ |
3164 | vm_map_unlock(src_map)lock_done(&(src_map)->lock); \ |
3165 | vm_map_copy_discard(copy); \ |
3166 | MACRO_RETURNif (((boolean_t) 1)) return(x); \ |
3167 | MACRO_END}) |
3168 | |
3169 | /* |
3170 | * Find the beginning of the region. |
3171 | */ |
3172 | |
3173 | vm_map_lock(src_map)({ lock_write(&(src_map)->lock); (src_map)->timestamp ++; }); |
3174 | |
3175 | if (!vm_map_lookup_entry(src_map, src_start, &tmp_entry)) |
3176 | RETURN(KERN_INVALID_ADDRESS1); |
3177 | vm_map_clip_start(src_map, tmp_entry, src_start)({ if ((src_start) > (tmp_entry)->links.start) _vm_map_clip_start (&(src_map)->hdr,(tmp_entry),(src_start)); }); |
3178 | |
3179 | /* |
3180 | * Go through entries until we get to the end. |
3181 | */ |
3182 | |
3183 | while (TRUE((boolean_t) 1)) { |
3184 | vm_map_entry_t src_entry = tmp_entry; /* Top-level entry */ |
3185 | vm_size_t src_size; /* Size of source |
3186 | * map entry (in both |
3187 | * maps) |
3188 | */ |
3189 | |
3190 | vm_object_t src_object; /* Object to copy */ |
3191 | vm_offset_t src_offset; |
3192 | |
3193 | boolean_t src_needs_copy; /* Should source map |
3194 | * be made read-only |
3195 | * for copy-on-write? |
3196 | */ |
3197 | |
3198 | vm_map_entry_t new_entry; /* Map entry for copy */ |
3199 | boolean_t new_entry_needs_copy; /* Will new entry be COW? */ |
3200 | |
3201 | boolean_t was_wired; /* Was source wired? */ |
3202 | vm_map_version_t version; /* Version before locks |
3203 | * dropped to make copy |
3204 | */ |
3205 | |
3206 | /* |
3207 | * Verify that the region can be read. |
3208 | */ |
3209 | |
3210 | if (! (src_entry->protection & VM_PROT_READ((vm_prot_t) 0x01))) |
3211 | RETURN(KERN_PROTECTION_FAILURE2); |
3212 | |
3213 | /* |
3214 | * Clip against the endpoints of the entire region. |
3215 | */ |
3216 | |
3217 | vm_map_clip_end(src_map, src_entry, src_end)({ if ((src_end) < (src_entry)->links.end) _vm_map_clip_end (&(src_map)->hdr,(src_entry),(src_end)); }); |
3218 | |
3219 | src_size = src_entry->vme_endlinks.end - src_start; |
3220 | src_object = src_entry->object.vm_object; |
3221 | src_offset = src_entry->offset; |
3222 | was_wired = (src_entry->wired_count != 0); |
3223 | |
3224 | /* |
3225 | * Create a new address map entry to |
3226 | * hold the result. Fill in the fields from |
3227 | * the appropriate source entries. |
3228 | */ |
3229 | |
3230 | new_entry = vm_map_copy_entry_create(copy)_vm_map_entry_create(&(copy)->c_u.hdr); |
3231 | vm_map_entry_copy(new_entry, src_entry)({ *(new_entry) = *(src_entry); (new_entry)->is_shared = ( (boolean_t) 0); (new_entry)->needs_wakeup = ((boolean_t) 0 ); (new_entry)->in_transition = ((boolean_t) 0); (new_entry )->wired_count = 0; (new_entry)->user_wired_count = 0; } ); |
3232 | |
3233 | /* |
3234 | * Attempt non-blocking copy-on-write optimizations. |
3235 | */ |
3236 | |
3237 | if (src_destroy && |
3238 | (src_object == VM_OBJECT_NULL((vm_object_t) 0) || |
3239 | (src_object->temporary && !src_object->use_shared_copy))) |
3240 | { |
3241 | /* |
3242 | * If we are destroying the source, and the object |
3243 | * is temporary, and not shared writable, |
3244 | * we can move the object reference |
3245 | * from the source to the copy. The copy is |
3246 | * copy-on-write only if the source is. |
3247 | * We make another reference to the object, because |
3248 | * destroying the source entry will deallocate it. |
3249 | */ |
3250 | vm_object_reference(src_object); |
3251 | |
3252 | /* |
3253 | * Copy is always unwired. vm_map_copy_entry |
3254 | * set its wired count to zero. |
3255 | */ |
3256 | |
3257 | goto CopySuccessful; |
3258 | } |
3259 | |
3260 | if (!was_wired && |
3261 | vm_object_copy_temporary( |
3262 | &new_entry->object.vm_object, |
3263 | &new_entry->offset, |
3264 | &src_needs_copy, |
3265 | &new_entry_needs_copy)) { |
3266 | |
3267 | new_entry->needs_copy = new_entry_needs_copy; |
3268 | |
3269 | /* |
3270 | * Handle copy-on-write obligations |
3271 | */ |
3272 | |
3273 | if (src_needs_copy && !tmp_entry->needs_copy) { |
3274 | vm_object_pmap_protect( |
3275 | src_object, |
3276 | src_offset, |
3277 | src_size, |
3278 | (src_entry->is_shared ? PMAP_NULL((pmap_t) 0) |
3279 | : src_map->pmap), |
3280 | src_entry->vme_startlinks.start, |
3281 | src_entry->protection & |
3282 | ~VM_PROT_WRITE((vm_prot_t) 0x02)); |
3283 | |
3284 | tmp_entry->needs_copy = TRUE((boolean_t) 1); |
3285 | } |
3286 | |
3287 | /* |
3288 | * The map has never been unlocked, so it's safe to |
3289 | * move to the next entry rather than doing another |
3290 | * lookup. |
3291 | */ |
3292 | |
3293 | goto CopySuccessful; |
3294 | } |
3295 | |
3296 | new_entry->needs_copy = FALSE((boolean_t) 0); |
3297 | |
3298 | /* |
3299 | * Take an object reference, so that we may |
3300 | * release the map lock(s). |
3301 | */ |
3302 | |
3303 | assert(src_object != VM_OBJECT_NULL)({ if (!(src_object != ((vm_object_t) 0))) Assert("src_object != VM_OBJECT_NULL" , "../vm/vm_map.c", 3303); }); |
3304 | vm_object_reference(src_object); |
3305 | |
3306 | /* |
3307 | * Record the timestamp for later verification. |
3308 | * Unlock the map. |
3309 | */ |
3310 | |
3311 | version.main_timestamp = src_map->timestamp; |
3312 | vm_map_unlock(src_map)lock_done(&(src_map)->lock); |
3313 | |
3314 | /* |
3315 | * Perform the copy |
3316 | */ |
3317 | |
3318 | if (was_wired) { |
3319 | vm_object_lock(src_object); |
3320 | (void) vm_object_copy_slowly( |
3321 | src_object, |
3322 | src_offset, |
3323 | src_size, |
3324 | FALSE((boolean_t) 0), |
3325 | &new_entry->object.vm_object); |
3326 | new_entry->offset = 0; |
3327 | new_entry->needs_copy = FALSE((boolean_t) 0); |
3328 | } else { |
3329 | kern_return_t result; |
3330 | |
3331 | result = vm_object_copy_strategically(src_object, |
3332 | src_offset, |
3333 | src_size, |
3334 | &new_entry->object.vm_object, |
3335 | &new_entry->offset, |
3336 | &new_entry_needs_copy); |
3337 | |
3338 | new_entry->needs_copy = new_entry_needs_copy; |
3339 | |
3340 | |
3341 | if (result != KERN_SUCCESS0) { |
3342 | vm_map_copy_entry_dispose(copy, new_entry)_vm_map_entry_dispose(&(copy)->c_u.hdr, (new_entry)); |
3343 | |
3344 | vm_map_lock(src_map)({ lock_write(&(src_map)->lock); (src_map)->timestamp ++; }); |
3345 | RETURN(result); |
3346 | } |
3347 | |
3348 | } |
3349 | |
3350 | /* |
3351 | * Throw away the extra reference |
3352 | */ |
3353 | |
3354 | vm_object_deallocate(src_object); |
3355 | |
3356 | /* |
3357 | * Verify that the map has not substantially |
3358 | * changed while the copy was being made. |
3359 | */ |
3360 | |
3361 | vm_map_lock(src_map)({ lock_write(&(src_map)->lock); (src_map)->timestamp ++; }); /* Increments timestamp once! */ |
3362 | |
3363 | if ((version.main_timestamp + 1) == src_map->timestamp) |
3364 | goto CopySuccessful; |
3365 | |
3366 | /* |
3367 | * Simple version comparison failed. |
3368 | * |
3369 | * Retry the lookup and verify that the |
3370 | * same object/offset are still present. |
3371 | * |
3372 | * [Note: a memory manager that colludes with |
3373 | * the calling task can detect that we have |
3374 | * cheated. While the map was unlocked, the |
3375 | * mapping could have been changed and restored.] |
3376 | */ |
3377 | |
3378 | if (!vm_map_lookup_entry(src_map, src_start, &tmp_entry)) { |
3379 | vm_map_copy_entry_dispose(copy, new_entry)_vm_map_entry_dispose(&(copy)->c_u.hdr, (new_entry)); |
3380 | RETURN(KERN_INVALID_ADDRESS1); |
3381 | } |
3382 | |
3383 | src_entry = tmp_entry; |
3384 | vm_map_clip_start(src_map, src_entry, src_start)({ if ((src_start) > (src_entry)->links.start) _vm_map_clip_start (&(src_map)->hdr,(src_entry),(src_start)); }); |
3385 | |
3386 | if ((src_entry->protection & VM_PROT_READ((vm_prot_t) 0x01)) == VM_PROT_NONE((vm_prot_t) 0x00)) |
3387 | goto VerificationFailed; |
3388 | |
3389 | if (src_entry->vme_endlinks.end < new_entry->vme_endlinks.end) |
3390 | src_size = (new_entry->vme_endlinks.end = src_entry->vme_endlinks.end) - src_start; |
Value stored to 'src_size' is never read | |
3391 | |
3392 | if ((src_entry->object.vm_object != src_object) || |
3393 | (src_entry->offset != src_offset) ) { |
3394 | |
3395 | /* |
3396 | * Verification failed. |
3397 | * |
3398 | * Start over with this top-level entry. |
3399 | */ |
3400 | |
3401 | VerificationFailed: ; |
3402 | |
3403 | vm_object_deallocate(new_entry->object.vm_object); |
3404 | vm_map_copy_entry_dispose(copy, new_entry)_vm_map_entry_dispose(&(copy)->c_u.hdr, (new_entry)); |
3405 | tmp_entry = src_entry; |
3406 | continue; |
3407 | } |
3408 | |
3409 | /* |
3410 | * Verification succeeded. |
3411 | */ |
3412 | |
3413 | CopySuccessful: ; |
3414 | |
3415 | /* |
3416 | * Link in the new copy entry. |
3417 | */ |
3418 | |
3419 | vm_map_copy_entry_link(copy, vm_map_copy_last_entry(copy),({ (&(copy)->c_u.hdr)->nentries++; (new_entry)-> links.prev = (((copy)->c_u.hdr.links.prev)); (new_entry)-> links.next = (((copy)->c_u.hdr.links.prev))->links.next ; (new_entry)->links.prev->links.next = (new_entry)-> links.next->links.prev = (new_entry); ({ struct rbtree_node *___cur, *___prev; int ___diff, ___index; ___prev = ((void * ) 0); ___index = -1; ___cur = (&(&(copy)->c_u.hdr) ->tree)->root; while (___cur != ((void *) 0)) { ___diff = vm_map_entry_cmp_insert(&(new_entry)->tree_node, ___cur ); ({ if (!(___diff != 0)) Assert("___diff != 0", "../vm/vm_map.c" , 3420); }); ___prev = ___cur; ___index = rbtree_d2i(___diff) ; ___cur = ___cur->children[___index]; } rbtree_insert_rebalance (&(&(copy)->c_u.hdr)->tree, ___prev, ___index, & (new_entry)->tree_node); }); }) |
3420 | new_entry)({ (&(copy)->c_u.hdr)->nentries++; (new_entry)-> links.prev = (((copy)->c_u.hdr.links.prev)); (new_entry)-> links.next = (((copy)->c_u.hdr.links.prev))->links.next ; (new_entry)->links.prev->links.next = (new_entry)-> links.next->links.prev = (new_entry); ({ struct rbtree_node *___cur, *___prev; int ___diff, ___index; ___prev = ((void * ) 0); ___index = -1; ___cur = (&(&(copy)->c_u.hdr) ->tree)->root; while (___cur != ((void *) 0)) { ___diff = vm_map_entry_cmp_insert(&(new_entry)->tree_node, ___cur ); ({ if (!(___diff != 0)) Assert("___diff != 0", "../vm/vm_map.c" , 3420); }); ___prev = ___cur; ___index = rbtree_d2i(___diff) ; ___cur = ___cur->children[___index]; } rbtree_insert_rebalance (&(&(copy)->c_u.hdr)->tree, ___prev, ___index, & (new_entry)->tree_node); }); }); |
3421 | |
3422 | /* |
3423 | * Determine whether the entire region |
3424 | * has been copied. |
3425 | */ |
3426 | src_start = new_entry->vme_endlinks.end; |
3427 | if ((src_start >= src_end) && (src_end != 0)) |
3428 | break; |
3429 | |
3430 | /* |
3431 | * Verify that there are no gaps in the region |
3432 | */ |
3433 | |
3434 | tmp_entry = src_entry->vme_nextlinks.next; |
3435 | if (tmp_entry->vme_startlinks.start != src_start) |
3436 | RETURN(KERN_INVALID_ADDRESS1); |
3437 | } |
3438 | |
3439 | /* |
3440 | * If the source should be destroyed, do it now, since the |
3441 | * copy was successful. |
3442 | */ |
3443 | if (src_destroy) |
3444 | (void) vm_map_delete(src_map, trunc_page(src_addr)((vm_offset_t)(((vm_offset_t)(src_addr)) & ~((1 << 12 )-1))), src_end); |
3445 | |
3446 | vm_map_unlock(src_map)lock_done(&(src_map)->lock); |
3447 | |
3448 | *copy_result = copy; |
3449 | return(KERN_SUCCESS0); |
3450 | |
3451 | #undef RETURN |
3452 | } |
3453 | |
3454 | /* |
3455 | * vm_map_copyin_object: |
3456 | * |
3457 | * Create a copy object from an object. |
3458 | * Our caller donates an object reference. |
3459 | */ |
3460 | |
3461 | kern_return_t vm_map_copyin_object(object, offset, size, copy_result) |
3462 | vm_object_t object; |
3463 | vm_offset_t offset; /* offset of region in object */ |
3464 | vm_size_t size; /* size of region in object */ |
3465 | vm_map_copy_t *copy_result; /* OUT */ |
3466 | { |
3467 | vm_map_copy_t copy; /* Resulting copy */ |
3468 | |
3469 | /* |
3470 | * We drop the object into a special copy object |
3471 | * that contains the object directly. These copy objects |
3472 | * are distinguished by entries_pageable == FALSE |
3473 | * and null links. |
3474 | */ |
3475 | |
3476 | copy = (vm_map_copy_t) kmem_cache_alloc(&vm_map_copy_cache); |
3477 | vm_map_copy_first_entry(copy)((copy)->c_u.hdr.links.next) = |
3478 | vm_map_copy_last_entry(copy)((copy)->c_u.hdr.links.prev) = VM_MAP_ENTRY_NULL((vm_map_entry_t) 0); |
3479 | copy->type = VM_MAP_COPY_OBJECT2; |
3480 | copy->cpy_objectc_u.c_o.object = object; |
3481 | copy->offset = offset; |
3482 | copy->size = size; |
3483 | |
3484 | *copy_result = copy; |
3485 | return(KERN_SUCCESS0); |
3486 | } |
3487 | |
3488 | /* |
3489 | * vm_map_copyin_page_list_cont: |
3490 | * |
3491 | * Continuation routine for vm_map_copyin_page_list. |
3492 | * |
3493 | * If vm_map_copyin_page_list can't fit the entire vm range |
3494 | * into a single page list object, it creates a continuation. |
3495 | * When the target of the operation has used the pages in the |
3496 | * initial page list, it invokes the continuation, which calls |
3497 | * this routine. If an error happens, the continuation is aborted |
3498 | * (abort arg to this routine is TRUE). To avoid deadlocks, the |
3499 | * pages are discarded from the initial page list before invoking |
3500 | * the continuation. |
3501 | * |
3502 | * NOTE: This is not the same sort of continuation used by |
3503 | * the scheduler. |
3504 | */ |
3505 | |
3506 | kern_return_t vm_map_copyin_page_list_cont(cont_args, copy_result) |
3507 | vm_map_copyin_args_t cont_args; |
3508 | vm_map_copy_t *copy_result; /* OUT */ |
3509 | { |
3510 | kern_return_t result = 0; /* '=0' to quiet gcc warnings */ |
3511 | boolean_t do_abort, src_destroy, src_destroy_only; |
3512 | |
3513 | /* |
3514 | * Check for cases that only require memory destruction. |
3515 | */ |
3516 | do_abort = (copy_result == (vm_map_copy_t *) 0); |
3517 | src_destroy = (cont_args->destroy_len != (vm_size_t) 0); |
3518 | src_destroy_only = (cont_args->src_len == (vm_size_t) 0); |
3519 | |
3520 | if (do_abort || src_destroy_only) { |
3521 | if (src_destroy) |
3522 | result = vm_map_remove(cont_args->map, |
3523 | cont_args->destroy_addr, |
3524 | cont_args->destroy_addr + cont_args->destroy_len); |
3525 | if (!do_abort) |
3526 | *copy_result = VM_MAP_COPY_NULL((vm_map_copy_t) 0); |
3527 | } |
3528 | else { |
3529 | result = vm_map_copyin_page_list(cont_args->map, |
3530 | cont_args->src_addr, cont_args->src_len, src_destroy, |
3531 | cont_args->steal_pages, copy_result, TRUE((boolean_t) 1)); |
3532 | |
3533 | if (src_destroy && !cont_args->steal_pages && |
3534 | vm_map_copy_has_cont(*copy_result)(((*copy_result)->c_u.c_p.cont) != (kern_return_t (*)()) 0 )) { |
3535 | vm_map_copyin_args_t new_args; |
3536 | /* |
3537 | * Transfer old destroy info. |
3538 | */ |
3539 | new_args = (vm_map_copyin_args_t) |
3540 | (*copy_result)->cpy_cont_argsc_u.c_p.cont_args; |
3541 | new_args->destroy_addr = cont_args->destroy_addr; |
3542 | new_args->destroy_len = cont_args->destroy_len; |
3543 | } |
3544 | } |
3545 | |
3546 | vm_map_deallocate(cont_args->map); |
3547 | kfree((vm_offset_t)cont_args, sizeof(vm_map_copyin_args_data_t)); |
3548 | |
3549 | return(result); |
3550 | } |
3551 | |
3552 | /* |
3553 | * vm_map_copyin_page_list: |
3554 | * |
3555 | * This is a variant of vm_map_copyin that copies in a list of pages. |
3556 | * If steal_pages is TRUE, the pages are only in the returned list. |
3557 | * If steal_pages is FALSE, the pages are busy and still in their |
3558 | * objects. A continuation may be returned if not all the pages fit: |
3559 | * the recipient of this copy_result must be prepared to deal with it. |
3560 | */ |
3561 | |
3562 | kern_return_t vm_map_copyin_page_list(src_map, src_addr, len, src_destroy, |
3563 | steal_pages, copy_result, is_cont) |
3564 | vm_map_t src_map; |
3565 | vm_offset_t src_addr; |
3566 | vm_size_t len; |
3567 | boolean_t src_destroy; |
3568 | boolean_t steal_pages; |
3569 | vm_map_copy_t *copy_result; /* OUT */ |
3570 | boolean_t is_cont; |
3571 | { |
3572 | vm_map_entry_t src_entry; |
3573 | vm_page_t m; |
3574 | vm_offset_t src_start; |
3575 | vm_offset_t src_end; |
3576 | vm_size_t src_size; |
3577 | vm_object_t src_object; |
3578 | vm_offset_t src_offset; |
3579 | vm_offset_t src_last_offset; |
3580 | vm_map_copy_t copy; /* Resulting copy */ |
3581 | kern_return_t result = KERN_SUCCESS0; |
3582 | boolean_t need_map_lookup; |
3583 | vm_map_copyin_args_t cont_args; |
3584 | |
3585 | /* |
3586 | * If steal_pages is FALSE, this leaves busy pages in |
3587 | * the object. A continuation must be used if src_destroy |
3588 | * is true in this case (!steal_pages && src_destroy). |
3589 | * |
3590 | * XXX Still have a more general problem of what happens |
3591 | * XXX if the same page occurs twice in a list. Deadlock |
3592 | * XXX can happen if vm_fault_page was called. A |
3593 | * XXX possible solution is to use a continuation if vm_fault_page |
3594 | * XXX is called and we cross a map entry boundary. |
3595 | */ |
3596 | |
3597 | /* |
3598 | * Check for copies of zero bytes. |
3599 | */ |
3600 | |
3601 | if (len == 0) { |
3602 | *copy_result = VM_MAP_COPY_NULL((vm_map_copy_t) 0); |
3603 | return(KERN_SUCCESS0); |
3604 | } |
3605 | |
3606 | /* |
3607 | * Compute start and end of region |
3608 | */ |
3609 | |
3610 | src_start = trunc_page(src_addr)((vm_offset_t)(((vm_offset_t)(src_addr)) & ~((1 << 12 )-1))); |
3611 | src_end = round_page(src_addr + len)((vm_offset_t)((((vm_offset_t)(src_addr + len)) + ((1 << 12)-1)) & ~((1 << 12)-1))); |
3612 | |
3613 | /* |
3614 | * Check that the end address doesn't overflow |
3615 | */ |
3616 | |
3617 | if (src_end <= src_start && (src_end < src_start || src_start != 0)) { |
3618 | return KERN_INVALID_ADDRESS1; |
3619 | } |
3620 | |
3621 | /* |
3622 | * Allocate a header element for the page list. |
3623 | * |
3624 | * Record original offset and size, as caller may not |
3625 | * be page-aligned. |
3626 | */ |
3627 | |
3628 | copy = (vm_map_copy_t) kmem_cache_alloc(&vm_map_copy_cache); |
3629 | copy->type = VM_MAP_COPY_PAGE_LIST3; |
3630 | copy->cpy_npagesc_u.c_p.npages = 0; |
3631 | copy->offset = src_addr; |
3632 | copy->size = len; |
3633 | copy->cpy_contc_u.c_p.cont = ((kern_return_t (*)()) 0); |
3634 | copy->cpy_cont_argsc_u.c_p.cont_args = (char *) VM_MAP_COPYIN_ARGS_NULL((vm_map_copyin_args_t) 0); |
3635 | |
3636 | /* |
3637 | * Find the beginning of the region. |
3638 | */ |
3639 | |
3640 | do_map_lookup: |
3641 | |
3642 | vm_map_lock(src_map)({ lock_write(&(src_map)->lock); (src_map)->timestamp ++; }); |
3643 | |
3644 | if (!vm_map_lookup_entry(src_map, src_start, &src_entry)) { |
3645 | result = KERN_INVALID_ADDRESS1; |
3646 | goto error; |
3647 | } |
3648 | need_map_lookup = FALSE((boolean_t) 0); |
3649 | |
3650 | /* |
3651 | * Go through entries until we get to the end. |
3652 | */ |
3653 | |
3654 | while (TRUE((boolean_t) 1)) { |
3655 | |
3656 | if (! (src_entry->protection & VM_PROT_READ((vm_prot_t) 0x01))) { |
3657 | result = KERN_PROTECTION_FAILURE2; |
3658 | goto error; |
3659 | } |
3660 | |
3661 | if (src_end > src_entry->vme_endlinks.end) |
3662 | src_size = src_entry->vme_endlinks.end - src_start; |
3663 | else |
3664 | src_size = src_end - src_start; |
3665 | |
3666 | src_object = src_entry->object.vm_object; |
3667 | src_offset = src_entry->offset + |
3668 | (src_start - src_entry->vme_startlinks.start); |
3669 | |
3670 | /* |
3671 | * If src_object is NULL, allocate it now; |
3672 | * we're going to fault on it shortly. |
3673 | */ |
3674 | if (src_object == VM_OBJECT_NULL((vm_object_t) 0)) { |
3675 | src_object = vm_object_allocate((vm_size_t) |
3676 | src_entry->vme_endlinks.end - |
3677 | src_entry->vme_startlinks.start); |
3678 | src_entry->object.vm_object = src_object; |
3679 | } |
3680 | |
3681 | /* |
3682 | * Iterate over pages. Fault in ones that aren't present. |
3683 | */ |
3684 | src_last_offset = src_offset + src_size; |
3685 | for (; (src_offset < src_last_offset && !need_map_lookup); |
3686 | src_offset += PAGE_SIZE(1 << 12), src_start += PAGE_SIZE(1 << 12)) { |
3687 | |
3688 | if (copy->cpy_npagesc_u.c_p.npages == VM_MAP_COPY_PAGE_LIST_MAX64) { |
3689 | make_continuation: |
3690 | /* |
3691 | * At this point we have the max number of |
3692 | * pages busy for this thread that we're |
3693 | * willing to allow. Stop here and record |
3694 | * arguments for the remainder. Note: |
3695 | * this means that this routine isn't atomic, |
3696 | * but that's the breaks. Note that only |
3697 | * the first vm_map_copy_t that comes back |
3698 | * from this routine has the right offset |
3699 | * and size; those from continuations are |
3700 | * page rounded, and short by the amount |
3701 | * already done. |
3702 | * |
3703 | * Reset src_end so the src_destroy |
3704 | * code at the bottom doesn't do |
3705 | * something stupid. |
3706 | */ |
3707 | |
3708 | cont_args = (vm_map_copyin_args_t) |
3709 | kalloc(sizeof(vm_map_copyin_args_data_t)); |
3710 | cont_args->map = src_map; |
3711 | vm_map_reference(src_map); |
3712 | cont_args->src_addr = src_start; |
3713 | cont_args->src_len = len - (src_start - src_addr); |
3714 | if (src_destroy) { |
3715 | cont_args->destroy_addr = cont_args->src_addr; |
3716 | cont_args->destroy_len = cont_args->src_len; |
3717 | } |
3718 | else { |
3719 | cont_args->destroy_addr = (vm_offset_t) 0; |
3720 | cont_args->destroy_len = (vm_offset_t) 0; |
3721 | } |
3722 | cont_args->steal_pages = steal_pages; |
3723 | |
3724 | copy->cpy_cont_argsc_u.c_p.cont_args = (char *) cont_args; |
3725 | copy->cpy_contc_u.c_p.cont = vm_map_copyin_page_list_cont; |
3726 | |
3727 | src_end = src_start; |
3728 | vm_map_clip_end(src_map, src_entry, src_end)({ if ((src_end) < (src_entry)->links.end) _vm_map_clip_end (&(src_map)->hdr,(src_entry),(src_end)); }); |
3729 | break; |
3730 | } |
3731 | |
3732 | /* |
3733 | * Try to find the page of data. |
3734 | */ |
3735 | vm_object_lock(src_object); |
3736 | vm_object_paging_begin(src_object)((src_object)->paging_in_progress++); |
3737 | if (((m = vm_page_lookup(src_object, src_offset)) != |
3738 | VM_PAGE_NULL((vm_page_t) 0)) && !m->busy && !m->fictitious && |
3739 | !m->absent && !m->error) { |
3740 | |
3741 | /* |
3742 | * This is the page. Mark it busy |
3743 | * and keep the paging reference on |
3744 | * the object whilst we do our thing. |
3745 | */ |
3746 | m->busy = TRUE((boolean_t) 1); |
3747 | |
3748 | /* |
3749 | * Also write-protect the page, so |
3750 | * that the map`s owner cannot change |
3751 | * the data. The busy bit will prevent |
3752 | * faults on the page from succeeding |
3753 | * until the copy is released; after |
3754 | * that, the page can be re-entered |
3755 | * as writable, since we didn`t alter |
3756 | * the map entry. This scheme is a |
3757 | * cheap copy-on-write. |
3758 | * |
3759 | * Don`t forget the protection and |
3760 | * the page_lock value! |
3761 | * |
3762 | * If the source is being destroyed |
3763 | * AND not shared writable, we don`t |
3764 | * have to protect the page, since |
3765 | * we will destroy the (only) |
3766 | * writable mapping later. |
3767 | */ |
3768 | if (!src_destroy || |
3769 | src_object->use_shared_copy) |
3770 | { |
3771 | pmap_page_protect(m->phys_addr, |
3772 | src_entry->protection |
3773 | & ~m->page_lock |
3774 | & ~VM_PROT_WRITE((vm_prot_t) 0x02)); |
3775 | } |
3776 | |
3777 | } |
3778 | else { |
3779 | vm_prot_t result_prot; |
3780 | vm_page_t top_page; |
3781 | kern_return_t kr; |
3782 | |
3783 | /* |
3784 | * Have to fault the page in; must |
3785 | * unlock the map to do so. While |
3786 | * the map is unlocked, anything |
3787 | * can happen, we must lookup the |
3788 | * map entry before continuing. |
3789 | */ |
3790 | vm_map_unlock(src_map)lock_done(&(src_map)->lock); |
3791 | need_map_lookup = TRUE((boolean_t) 1); |
3792 | retry: |
3793 | result_prot = VM_PROT_READ((vm_prot_t) 0x01); |
3794 | |
3795 | kr = vm_fault_page(src_object, src_offset, |
3796 | VM_PROT_READ((vm_prot_t) 0x01), FALSE((boolean_t) 0), FALSE((boolean_t) 0), |
3797 | &result_prot, &m, &top_page, |
3798 | FALSE((boolean_t) 0), (void (*)()) 0); |
3799 | /* |
3800 | * Cope with what happened. |
3801 | */ |
3802 | switch (kr) { |
3803 | case VM_FAULT_SUCCESS0: |
3804 | break; |
3805 | case VM_FAULT_INTERRUPTED2: /* ??? */ |
3806 | case VM_FAULT_RETRY1: |
3807 | vm_object_lock(src_object); |
3808 | vm_object_paging_begin(src_object)((src_object)->paging_in_progress++); |
3809 | goto retry; |
3810 | case VM_FAULT_MEMORY_SHORTAGE3: |
3811 | VM_PAGE_WAIT((void (*)()) 0)vm_page_wait((void (*)()) 0); |
3812 | vm_object_lock(src_object); |
3813 | vm_object_paging_begin(src_object)((src_object)->paging_in_progress++); |
3814 | goto retry; |
3815 | case VM_FAULT_FICTITIOUS_SHORTAGE4: |
3816 | vm_page_more_fictitious(); |
3817 | vm_object_lock(src_object); |
3818 | vm_object_paging_begin(src_object)((src_object)->paging_in_progress++); |
3819 | goto retry; |
3820 | case VM_FAULT_MEMORY_ERROR5: |
3821 | /* |
3822 | * Something broke. If this |
3823 | * is a continuation, return |
3824 | * a partial result if possible, |
3825 | * else fail the whole thing. |
3826 | * In the continuation case, the |
3827 | * next continuation call will |
3828 | * get this error if it persists. |
3829 | */ |
3830 | vm_map_lock(src_map)({ lock_write(&(src_map)->lock); (src_map)->timestamp ++; }); |
3831 | if (is_cont && |
3832 | copy->cpy_npagesc_u.c_p.npages != 0) |
3833 | goto make_continuation; |
3834 | |
3835 | result = KERN_MEMORY_ERROR10; |
3836 | goto error; |
3837 | } |
3838 | |
3839 | if (top_page != VM_PAGE_NULL((vm_page_t) 0)) { |
3840 | vm_object_lock(src_object); |
3841 | VM_PAGE_FREE(top_page)({ ; vm_page_free(top_page); ; }); |
3842 | vm_object_paging_end(src_object)({ ({ if (!((src_object)->paging_in_progress != 0)) Assert ("(src_object)->paging_in_progress != 0", "../vm/vm_map.c" , 3842); }); if (--(src_object)->paging_in_progress == 0) { ({ if ((src_object)->all_wanted & (1 << (2))) thread_wakeup_prim (((event_t)(((vm_offset_t) src_object) + (2))), ((boolean_t) 0 ), 0); (src_object)->all_wanted &= ~(1 << (2)); } ); } }); |
3843 | vm_object_unlock(src_object); |
3844 | } |
3845 | |
3846 | /* |
3847 | * We do not need to write-protect |
3848 | * the page, since it cannot have |
3849 | * been in the pmap (and we did not |
3850 | * enter it above). The busy bit |
3851 | * will protect the page from being |
3852 | * entered as writable until it is |
3853 | * unlocked. |
3854 | */ |
3855 | |
3856 | } |
3857 | |
3858 | /* |
3859 | * The page is busy, its object is locked, and |
3860 | * we have a paging reference on it. Either |
3861 | * the map is locked, or need_map_lookup is |
3862 | * TRUE. |
3863 | * |
3864 | * Put the page in the page list. |
3865 | */ |
3866 | copy->cpy_page_listc_u.c_p.page_list[copy->cpy_npagesc_u.c_p.npages++] = m; |
3867 | vm_object_unlock(m->object); |
3868 | } |
3869 | |
3870 | /* |
3871 | * DETERMINE whether the entire region |
3872 | * has been copied. |
3873 | */ |
3874 | if (src_start >= src_end && src_end != 0) { |
3875 | if (need_map_lookup) |
3876 | vm_map_lock(src_map)({ lock_write(&(src_map)->lock); (src_map)->timestamp ++; }); |
3877 | break; |
3878 | } |
3879 | |
3880 | /* |
3881 | * If need_map_lookup is TRUE, have to start over with |
3882 | * another map lookup. Note that we dropped the map |
3883 | * lock (to call vm_fault_page) above only in this case. |
3884 | */ |
3885 | if (need_map_lookup) |
3886 | goto do_map_lookup; |
3887 | |
3888 | /* |
3889 | * Verify that there are no gaps in the region |
3890 | */ |
3891 | |
3892 | src_start = src_entry->vme_endlinks.end; |
3893 | src_entry = src_entry->vme_nextlinks.next; |
3894 | if (src_entry->vme_startlinks.start != src_start) { |
3895 | result = KERN_INVALID_ADDRESS1; |
3896 | goto error; |
3897 | } |
3898 | } |
3899 | |
3900 | /* |
3901 | * If steal_pages is true, make sure all |
3902 | * pages in the copy are not in any object |
3903 | * We try to remove them from the original |
3904 | * object, but we may have to copy them. |
3905 | * |
3906 | * At this point every page in the list is busy |
3907 | * and holds a paging reference to its object. |
3908 | * When we're done stealing, every page is busy, |
3909 | * and in no object (m->tabled == FALSE). |
3910 | */ |
3911 | src_start = trunc_page(src_addr)((vm_offset_t)(((vm_offset_t)(src_addr)) & ~((1 << 12 )-1))); |
3912 | if (steal_pages) { |
3913 | int i; |
3914 | vm_offset_t unwire_end; |
3915 | |
3916 | unwire_end = src_start; |
3917 | for (i = 0; i < copy->cpy_npagesc_u.c_p.npages; i++) { |
3918 | |
3919 | /* |
3920 | * Remove the page from its object if it |
3921 | * can be stolen. It can be stolen if: |
3922 | * |
3923 | * (1) The source is being destroyed, |
3924 | * the object is temporary, and |
3925 | * not shared. |
3926 | * (2) The page is not precious. |
3927 | * |
3928 | * The not shared check consists of two |
3929 | * parts: (a) there are no objects that |
3930 | * shadow this object. (b) it is not the |
3931 | * object in any shared map entries (i.e., |
3932 | * use_shared_copy is not set). |
3933 | * |
3934 | * The first check (a) means that we can't |
3935 | * steal pages from objects that are not |
3936 | * at the top of their shadow chains. This |
3937 | * should not be a frequent occurrence. |
3938 | * |
3939 | * Stealing wired pages requires telling the |
3940 | * pmap module to let go of them. |
3941 | * |
3942 | * NOTE: stealing clean pages from objects |
3943 | * whose mappings survive requires a call to |
3944 | * the pmap module. Maybe later. |
3945 | */ |
3946 | m = copy->cpy_page_listc_u.c_p.page_list[i]; |
3947 | src_object = m->object; |
3948 | vm_object_lock(src_object); |
3949 | |
3950 | if (src_destroy && |
3951 | src_object->temporary && |
3952 | (!src_object->shadowed) && |
3953 | (!src_object->use_shared_copy) && |
3954 | !m->precious) { |
3955 | vm_offset_t page_vaddr; |
3956 | |
3957 | page_vaddr = src_start + (i * PAGE_SIZE(1 << 12)); |
3958 | if (m->wire_count > 0) { |
3959 | |
3960 | assert(m->wire_count == 1)({ if (!(m->wire_count == 1)) Assert("m->wire_count == 1" , "../vm/vm_map.c", 3960); }); |
3961 | /* |
3962 | * In order to steal a wired |
3963 | * page, we have to unwire it |
3964 | * first. We do this inline |
3965 | * here because we have the page. |
3966 | * |
3967 | * Step 1: Unwire the map entry. |
3968 | * Also tell the pmap module |
3969 | * that this piece of the |
3970 | * pmap is pageable. |
3971 | */ |
3972 | vm_object_unlock(src_object); |
3973 | if (page_vaddr >= unwire_end) { |
3974 | if (!vm_map_lookup_entry(src_map, |
3975 | page_vaddr, &src_entry)) |
3976 | panic("vm_map_copyin_page_list: missing wired map entry"); |
3977 | |
3978 | vm_map_clip_start(src_map, src_entry,({ if ((page_vaddr) > (src_entry)->links.start) _vm_map_clip_start (&(src_map)->hdr,(src_entry),(page_vaddr)); }) |
3979 | page_vaddr)({ if ((page_vaddr) > (src_entry)->links.start) _vm_map_clip_start (&(src_map)->hdr,(src_entry),(page_vaddr)); }); |
3980 | vm_map_clip_end(src_map, src_entry,({ if ((src_start + src_size) < (src_entry)->links.end) _vm_map_clip_end(&(src_map)->hdr,(src_entry),(src_start + src_size)); }) |
3981 | src_start + src_size)({ if ((src_start + src_size) < (src_entry)->links.end) _vm_map_clip_end(&(src_map)->hdr,(src_entry),(src_start + src_size)); }); |
3982 | |
3983 | assert(src_entry->wired_count > 0)({ if (!(src_entry->wired_count > 0)) Assert("src_entry->wired_count > 0" , "../vm/vm_map.c", 3983); }); |
3984 | src_entry->wired_count = 0; |
3985 | src_entry->user_wired_count = 0; |
3986 | unwire_end = src_entry->vme_endlinks.end; |
3987 | pmap_pageable(vm_map_pmap(src_map)((src_map)->pmap), |
3988 | page_vaddr, unwire_end, TRUE((boolean_t) 1)); |
3989 | } |
3990 | |
3991 | /* |
3992 | * Step 2: Unwire the page. |
3993 | * pmap_remove handles this for us. |
3994 | */ |
3995 | vm_object_lock(src_object); |
3996 | } |
3997 | |
3998 | /* |
3999 | * Don't need to remove the mapping; |
4000 | * vm_map_delete will handle it. |
4001 | * |
4002 | * Steal the page. Setting the wire count |
4003 | * to zero is vm_page_unwire without |
4004 | * activating the page. |
4005 | */ |
4006 | vm_page_lock_queues(); |
4007 | vm_page_remove(m); |
4008 | if (m->wire_count > 0) { |
4009 | m->wire_count = 0; |
4010 | vm_page_wire_count--; |
4011 | } else { |
4012 | VM_PAGE_QUEUES_REMOVE(m)({ if (m->active) { { queue_entry_t next, prev; next = (m) ->pageq.next; prev = (m)->pageq.prev; if ((&vm_page_queue_active ) == next) (&vm_page_queue_active)->prev = prev; else ( (vm_page_t)next)->pageq.prev = prev; if ((&vm_page_queue_active ) == prev) (&vm_page_queue_active)->next = next; else ( (vm_page_t)prev)->pageq.next = next; }; m->active = ((boolean_t ) 0); vm_page_active_count--; } if (m->inactive) { { queue_entry_t next, prev; next = (m)->pageq.next; prev = (m)->pageq. prev; if ((&vm_page_queue_inactive) == next) (&vm_page_queue_inactive )->prev = prev; else ((vm_page_t)next)->pageq.prev = prev ; if ((&vm_page_queue_inactive) == prev) (&vm_page_queue_inactive )->next = next; else ((vm_page_t)prev)->pageq.next = next ; }; m->inactive = ((boolean_t) 0); vm_page_inactive_count --; } }); |
4013 | } |
4014 | vm_page_unlock_queues(); |
4015 | } |
4016 | else { |
4017 | /* |
4018 | * Have to copy this page. Have to |
4019 | * unlock the map while copying, |
4020 | * hence no further page stealing. |
4021 | * Hence just copy all the pages. |
4022 | * Unlock the map while copying; |
4023 | * This means no further page stealing. |
4024 | */ |
4025 | vm_object_unlock(src_object); |
4026 | vm_map_unlock(src_map)lock_done(&(src_map)->lock); |
4027 | |
4028 | vm_map_copy_steal_pages(copy); |
4029 | |
4030 | vm_map_lock(src_map)({ lock_write(&(src_map)->lock); (src_map)->timestamp ++; }); |
4031 | break; |
4032 | } |
4033 | |
4034 | vm_object_paging_end(src_object)({ ({ if (!((src_object)->paging_in_progress != 0)) Assert ("(src_object)->paging_in_progress != 0", "../vm/vm_map.c" , 4034); }); if (--(src_object)->paging_in_progress == 0) { ({ if ((src_object)->all_wanted & (1 << (2))) thread_wakeup_prim (((event_t)(((vm_offset_t) src_object) + (2))), ((boolean_t) 0 ), 0); (src_object)->all_wanted &= ~(1 << (2)); } ); } }); |
4035 | vm_object_unlock(src_object); |
4036 | } |
4037 | |
4038 | /* |
4039 | * If the source should be destroyed, do it now, since the |
4040 | * copy was successful. |
4041 | */ |
4042 | |
4043 | if (src_destroy) { |
4044 | (void) vm_map_delete(src_map, src_start, src_end); |
4045 | } |
4046 | } |
4047 | else { |
4048 | /* |
4049 | * !steal_pages leaves busy pages in the map. |
4050 | * This will cause src_destroy to hang. Use |
4051 | * a continuation to prevent this. |
4052 | */ |
4053 | if (src_destroy && !vm_map_copy_has_cont(copy)(((copy)->c_u.c_p.cont) != (kern_return_t (*)()) 0)) { |
4054 | cont_args = (vm_map_copyin_args_t) |
4055 | kalloc(sizeof(vm_map_copyin_args_data_t)); |
4056 | vm_map_reference(src_map); |
4057 | cont_args->map = src_map; |
4058 | cont_args->src_addr = (vm_offset_t) 0; |
4059 | cont_args->src_len = (vm_size_t) 0; |
4060 | cont_args->destroy_addr = src_start; |
4061 | cont_args->destroy_len = src_end - src_start; |
4062 | cont_args->steal_pages = FALSE((boolean_t) 0); |
4063 | |
4064 | copy->cpy_cont_argsc_u.c_p.cont_args = (char *) cont_args; |
4065 | copy->cpy_contc_u.c_p.cont = vm_map_copyin_page_list_cont; |
4066 | } |
4067 | |
4068 | } |
4069 | |
4070 | vm_map_unlock(src_map)lock_done(&(src_map)->lock); |
4071 | |
4072 | *copy_result = copy; |
4073 | return(result); |
4074 | |
4075 | error: |
4076 | vm_map_unlock(src_map)lock_done(&(src_map)->lock); |
4077 | vm_map_copy_discard(copy); |
4078 | return(result); |
4079 | } |
4080 | |
4081 | /* |
4082 | * vm_map_fork: |
4083 | * |
4084 | * Create and return a new map based on the old |
4085 | * map, according to the inheritance values on the |
4086 | * regions in that map. |
4087 | * |
4088 | * The source map must not be locked. |
4089 | */ |
4090 | vm_map_t vm_map_fork(old_map) |
4091 | vm_map_t old_map; |
4092 | { |
4093 | vm_map_t new_map; |
4094 | vm_map_entry_t old_entry; |
4095 | vm_map_entry_t new_entry; |
4096 | pmap_t new_pmap = pmap_create((vm_size_t) 0); |
4097 | vm_size_t new_size = 0; |
4098 | vm_size_t entry_size; |
4099 | vm_object_t object; |
4100 | |
4101 | vm_map_lock(old_map)({ lock_write(&(old_map)->lock); (old_map)->timestamp ++; }); |
4102 | |
4103 | new_map = vm_map_create(new_pmap, |
4104 | old_map->min_offsethdr.links.start, |
4105 | old_map->max_offsethdr.links.end, |
4106 | old_map->hdr.entries_pageable); |
4107 | |
4108 | for ( |
4109 | old_entry = vm_map_first_entry(old_map)((old_map)->hdr.links.next); |
4110 | old_entry != vm_map_to_entry(old_map)((struct vm_map_entry *) &(old_map)->hdr.links); |
4111 | ) { |
4112 | if (old_entry->is_sub_map) |
4113 | panic("vm_map_fork: encountered a submap"); |
4114 | |
4115 | entry_size = (old_entry->vme_endlinks.end - old_entry->vme_startlinks.start); |
4116 | |
4117 | switch (old_entry->inheritance) { |
4118 | case VM_INHERIT_NONE((vm_inherit_t) 2): |
4119 | break; |
4120 | |
4121 | case VM_INHERIT_SHARE((vm_inherit_t) 0): |
4122 | /* |
4123 | * New sharing code. New map entry |
4124 | * references original object. Temporary |
4125 | * objects use asynchronous copy algorithm for |
4126 | * future copies. First make sure we have |
4127 | * the right object. If we need a shadow, |
4128 | * or someone else already has one, then |
4129 | * make a new shadow and share it. |
4130 | */ |
4131 | |
4132 | object = old_entry->object.vm_object; |
4133 | if (object == VM_OBJECT_NULL((vm_object_t) 0)) { |
4134 | object = vm_object_allocate( |
4135 | (vm_size_t)(old_entry->vme_endlinks.end - |
4136 | old_entry->vme_startlinks.start)); |
4137 | old_entry->offset = 0; |
4138 | old_entry->object.vm_object = object; |
4139 | assert(!old_entry->needs_copy)({ if (!(!old_entry->needs_copy)) Assert("!old_entry->needs_copy" , "../vm/vm_map.c", 4139); }); |
4140 | } |
4141 | else if (old_entry->needs_copy || object->shadowed || |
4142 | (object->temporary && !old_entry->is_shared && |
4143 | object->size > (vm_size_t)(old_entry->vme_endlinks.end - |
4144 | old_entry->vme_startlinks.start))) { |
4145 | |
4146 | assert(object->temporary)({ if (!(object->temporary)) Assert("object->temporary" , "../vm/vm_map.c", 4146); }); |
4147 | assert(!(object->shadowed && old_entry->is_shared))({ if (!(!(object->shadowed && old_entry->is_shared ))) Assert("!(object->shadowed && old_entry->is_shared)" , "../vm/vm_map.c", 4147); }); |
4148 | vm_object_shadow( |
4149 | &old_entry->object.vm_object, |
4150 | &old_entry->offset, |
4151 | (vm_size_t) (old_entry->vme_endlinks.end - |
4152 | old_entry->vme_startlinks.start)); |
4153 | |
4154 | /* |
4155 | * If we're making a shadow for other than |
4156 | * copy on write reasons, then we have |
4157 | * to remove write permission. |
4158 | */ |
4159 | |
4160 | if (!old_entry->needs_copy && |
4161 | (old_entry->protection & VM_PROT_WRITE((vm_prot_t) 0x02))) { |
4162 | pmap_protect(vm_map_pmap(old_map)((old_map)->pmap), |
4163 | old_entry->vme_startlinks.start, |
4164 | old_entry->vme_endlinks.end, |
4165 | old_entry->protection & |
4166 | ~VM_PROT_WRITE((vm_prot_t) 0x02)); |
4167 | } |
4168 | old_entry->needs_copy = FALSE((boolean_t) 0); |
4169 | object = old_entry->object.vm_object; |
4170 | } |
4171 | |
4172 | /* |
4173 | * Set use_shared_copy to indicate that |
4174 | * object must use shared (delayed) copy-on |
4175 | * write. This is ignored for permanent objects. |
4176 | * Bump the reference count for the new entry |
4177 | */ |
4178 | |
4179 | vm_object_lock(object); |
4180 | object->use_shared_copy = TRUE((boolean_t) 1); |
4181 | object->ref_count++; |
4182 | vm_object_unlock(object); |
4183 | |
4184 | new_entry = vm_map_entry_create(new_map)_vm_map_entry_create(&(new_map)->hdr); |
4185 | |
4186 | if (old_entry->projected_on != 0) { |
4187 | /* |
4188 | * If entry is projected buffer, clone the |
4189 | * entry exactly. |
4190 | */ |
4191 | |
4192 | vm_map_entry_copy_full(new_entry, old_entry)(*(new_entry) = *(old_entry)); |
4193 | |
4194 | } else { |
4195 | /* |
4196 | * Clone the entry, using object ref from above. |
4197 | * Mark both entries as shared. |
4198 | */ |
4199 | |
4200 | vm_map_entry_copy(new_entry, old_entry)({ *(new_entry) = *(old_entry); (new_entry)->is_shared = ( (boolean_t) 0); (new_entry)->needs_wakeup = ((boolean_t) 0 ); (new_entry)->in_transition = ((boolean_t) 0); (new_entry )->wired_count = 0; (new_entry)->user_wired_count = 0; } ); |
4201 | old_entry->is_shared = TRUE((boolean_t) 1); |
4202 | new_entry->is_shared = TRUE((boolean_t) 1); |
4203 | } |
4204 | |
4205 | /* |
4206 | * Insert the entry into the new map -- we |
4207 | * know we're inserting at the end of the new |
4208 | * map. |
4209 | */ |
4210 | |
4211 | vm_map_entry_link(({ (&(new_map)->hdr)->nentries++; (new_entry)->links .prev = (((new_map)->hdr.links.prev)); (new_entry)->links .next = (((new_map)->hdr.links.prev))->links.next; (new_entry )->links.prev->links.next = (new_entry)->links.next-> links.prev = (new_entry); ({ struct rbtree_node *___cur, *___prev ; int ___diff, ___index; ___prev = ((void *) 0); ___index = - 1; ___cur = (&(&(new_map)->hdr)->tree)->root ; while (___cur != ((void *) 0)) { ___diff = vm_map_entry_cmp_insert (&(new_entry)->tree_node, ___cur); ({ if (!(___diff != 0)) Assert("___diff != 0", "../vm/vm_map.c", 4214); }); ___prev = ___cur; ___index = rbtree_d2i(___diff); ___cur = ___cur-> children[___index]; } rbtree_insert_rebalance(&(&(new_map )->hdr)->tree, ___prev, ___index, &(new_entry)-> tree_node); }); }) |
4212 | new_map,({ (&(new_map)->hdr)->nentries++; (new_entry)->links .prev = (((new_map)->hdr.links.prev)); (new_entry)->links .next = (((new_map)->hdr.links.prev))->links.next; (new_entry )->links.prev->links.next = (new_entry)->links.next-> links.prev = (new_entry); ({ struct rbtree_node *___cur, *___prev ; int ___diff, ___index; ___prev = ((void *) 0); ___index = - 1; ___cur = (&(&(new_map)->hdr)->tree)->root ; while (___cur != ((void *) 0)) { ___diff = vm_map_entry_cmp_insert (&(new_entry)->tree_node, ___cur); ({ if (!(___diff != 0)) Assert("___diff != 0", "../vm/vm_map.c", 4214); }); ___prev = ___cur; ___index = rbtree_d2i(___diff); ___cur = ___cur-> children[___index]; } rbtree_insert_rebalance(&(&(new_map )->hdr)->tree, ___prev, ___index, &(new_entry)-> tree_node); }); }) |
4213 | vm_map_last_entry(new_map),({ (&(new_map)->hdr)->nentries++; (new_entry)->links .prev = (((new_map)->hdr.links.prev)); (new_entry)->links .next = (((new_map)->hdr.links.prev))->links.next; (new_entry )->links.prev->links.next = (new_entry)->links.next-> links.prev = (new_entry); ({ struct rbtree_node *___cur, *___prev ; int ___diff, ___index; ___prev = ((void *) 0); ___index = - 1; ___cur = (&(&(new_map)->hdr)->tree)->root ; while (___cur != ((void *) 0)) { ___diff = vm_map_entry_cmp_insert (&(new_entry)->tree_node, ___cur); ({ if (!(___diff != 0)) Assert("___diff != 0", "../vm/vm_map.c", 4214); }); ___prev = ___cur; ___index = rbtree_d2i(___diff); ___cur = ___cur-> children[___index]; } rbtree_insert_rebalance(&(&(new_map )->hdr)->tree, ___prev, ___index, &(new_entry)-> tree_node); }); }) |
4214 | new_entry)({ (&(new_map)->hdr)->nentries++; (new_entry)->links .prev = (((new_map)->hdr.links.prev)); (new_entry)->links .next = (((new_map)->hdr.links.prev))->links.next; (new_entry )->links.prev->links.next = (new_entry)->links.next-> links.prev = (new_entry); ({ struct rbtree_node *___cur, *___prev ; int ___diff, ___index; ___prev = ((void *) 0); ___index = - 1; ___cur = (&(&(new_map)->hdr)->tree)->root ; while (___cur != ((void *) 0)) { ___diff = vm_map_entry_cmp_insert (&(new_entry)->tree_node, ___cur); ({ if (!(___diff != 0)) Assert("___diff != 0", "../vm/vm_map.c", 4214); }); ___prev = ___cur; ___index = rbtree_d2i(___diff); ___cur = ___cur-> children[___index]; } rbtree_insert_rebalance(&(&(new_map )->hdr)->tree, ___prev, ___index, &(new_entry)-> tree_node); }); }); |
4215 | |
4216 | /* |
4217 | * Update the physical map |
4218 | */ |
4219 | |
4220 | pmap_copy(new_map->pmap, old_map->pmap, |
4221 | new_entry->vme_start, |
4222 | entry_size, |
4223 | old_entry->vme_start); |
4224 | |
4225 | new_size += entry_size; |
4226 | break; |
4227 | |
4228 | case VM_INHERIT_COPY((vm_inherit_t) 1): |
4229 | if (old_entry->wired_count == 0) { |
4230 | boolean_t src_needs_copy; |
4231 | boolean_t new_entry_needs_copy; |
4232 | |
4233 | new_entry = vm_map_entry_create(new_map)_vm_map_entry_create(&(new_map)->hdr); |
4234 | vm_map_entry_copy(new_entry, old_entry)({ *(new_entry) = *(old_entry); (new_entry)->is_shared = ( (boolean_t) 0); (new_entry)->needs_wakeup = ((boolean_t) 0 ); (new_entry)->in_transition = ((boolean_t) 0); (new_entry )->wired_count = 0; (new_entry)->user_wired_count = 0; } ); |
4235 | |
4236 | if (vm_object_copy_temporary( |
4237 | &new_entry->object.vm_object, |
4238 | &new_entry->offset, |
4239 | &src_needs_copy, |
4240 | &new_entry_needs_copy)) { |
4241 | |
4242 | /* |
4243 | * Handle copy-on-write obligations |
4244 | */ |
4245 | |
4246 | if (src_needs_copy && !old_entry->needs_copy) { |
4247 | vm_object_pmap_protect( |
4248 | old_entry->object.vm_object, |
4249 | old_entry->offset, |
4250 | entry_size, |
4251 | (old_entry->is_shared ? |
4252 | PMAP_NULL((pmap_t) 0) : |
4253 | old_map->pmap), |
4254 | old_entry->vme_startlinks.start, |
4255 | old_entry->protection & |
4256 | ~VM_PROT_WRITE((vm_prot_t) 0x02)); |
4257 | |
4258 | old_entry->needs_copy = TRUE((boolean_t) 1); |
4259 | } |
4260 | |
4261 | new_entry->needs_copy = new_entry_needs_copy; |
4262 | |
4263 | /* |
4264 | * Insert the entry at the end |
4265 | * of the map. |
4266 | */ |
4267 | |
4268 | vm_map_entry_link(new_map,({ (&(new_map)->hdr)->nentries++; (new_entry)->links .prev = (((new_map)->hdr.links.prev)); (new_entry)->links .next = (((new_map)->hdr.links.prev))->links.next; (new_entry )->links.prev->links.next = (new_entry)->links.next-> links.prev = (new_entry); ({ struct rbtree_node *___cur, *___prev ; int ___diff, ___index; ___prev = ((void *) 0); ___index = - 1; ___cur = (&(&(new_map)->hdr)->tree)->root ; while (___cur != ((void *) 0)) { ___diff = vm_map_entry_cmp_insert (&(new_entry)->tree_node, ___cur); ({ if (!(___diff != 0)) Assert("___diff != 0", "../vm/vm_map.c", 4270); }); ___prev = ___cur; ___index = rbtree_d2i(___diff); ___cur = ___cur-> children[___index]; } rbtree_insert_rebalance(&(&(new_map )->hdr)->tree, ___prev, ___index, &(new_entry)-> tree_node); }); }) |
4269 | vm_map_last_entry(new_map),({ (&(new_map)->hdr)->nentries++; (new_entry)->links .prev = (((new_map)->hdr.links.prev)); (new_entry)->links .next = (((new_map)->hdr.links.prev))->links.next; (new_entry )->links.prev->links.next = (new_entry)->links.next-> links.prev = (new_entry); ({ struct rbtree_node *___cur, *___prev ; int ___diff, ___index; ___prev = ((void *) 0); ___index = - 1; ___cur = (&(&(new_map)->hdr)->tree)->root ; while (___cur != ((void *) 0)) { ___diff = vm_map_entry_cmp_insert (&(new_entry)->tree_node, ___cur); ({ if (!(___diff != 0)) Assert("___diff != 0", "../vm/vm_map.c", 4270); }); ___prev = ___cur; ___index = rbtree_d2i(___diff); ___cur = ___cur-> children[___index]; } rbtree_insert_rebalance(&(&(new_map )->hdr)->tree, ___prev, ___index, &(new_entry)-> tree_node); }); }) |
4270 | new_entry)({ (&(new_map)->hdr)->nentries++; (new_entry)->links .prev = (((new_map)->hdr.links.prev)); (new_entry)->links .next = (((new_map)->hdr.links.prev))->links.next; (new_entry )->links.prev->links.next = (new_entry)->links.next-> links.prev = (new_entry); ({ struct rbtree_node *___cur, *___prev ; int ___diff, ___index; ___prev = ((void *) 0); ___index = - 1; ___cur = (&(&(new_map)->hdr)->tree)->root ; while (___cur != ((void *) 0)) { ___diff = vm_map_entry_cmp_insert (&(new_entry)->tree_node, ___cur); ({ if (!(___diff != 0)) Assert("___diff != 0", "../vm/vm_map.c", 4270); }); ___prev = ___cur; ___index = rbtree_d2i(___diff); ___cur = ___cur-> children[___index]; } rbtree_insert_rebalance(&(&(new_map )->hdr)->tree, ___prev, ___index, &(new_entry)-> tree_node); }); }); |
4271 | |
4272 | |
4273 | new_size += entry_size; |
4274 | break; |
4275 | } |
4276 | |
4277 | vm_map_entry_dispose(new_map, new_entry)_vm_map_entry_dispose(&(new_map)->hdr, (new_entry)); |
4278 | } |
4279 | |
4280 | /* INNER BLOCK (copy cannot be optimized) */ { |
4281 | |
4282 | vm_offset_t start = old_entry->vme_startlinks.start; |
4283 | vm_map_copy_t copy; |
4284 | vm_map_entry_t last = vm_map_last_entry(new_map)((new_map)->hdr.links.prev); |
4285 | |
4286 | vm_map_unlock(old_map)lock_done(&(old_map)->lock); |
4287 | if (vm_map_copyin(old_map, |
4288 | start, |
4289 | entry_size, |
4290 | FALSE((boolean_t) 0), |
4291 | ©) |
4292 | != KERN_SUCCESS0) { |
4293 | vm_map_lock(old_map)({ lock_write(&(old_map)->lock); (old_map)->timestamp ++; }); |
4294 | if (!vm_map_lookup_entry(old_map, start, &last)) |
4295 | last = last->vme_nextlinks.next; |
4296 | old_entry = last; |
4297 | /* |
4298 | * For some error returns, want to |
4299 | * skip to the next element. |
4300 | */ |
4301 | |
4302 | continue; |
4303 | } |
4304 | |
4305 | /* |
4306 | * Insert the copy into the new map |
4307 | */ |
4308 | |
4309 | vm_map_copy_insert(new_map, last, copy)({ struct rbtree_node *node, *tmp; for (node = rbtree_postwalk_deepest (&(copy)->c_u.hdr.tree), tmp = rbtree_postwalk_unlink( node); node != ((void *) 0); node = tmp, tmp = rbtree_postwalk_unlink (node)) ({ struct rbtree_node *___cur, *___prev; int ___diff, ___index; ___prev = ((void *) 0); ___index = -1; ___cur = (& (new_map)->hdr.tree)->root; while (___cur != ((void *) 0 )) { ___diff = vm_map_entry_cmp_insert(node, ___cur); ({ if ( !(___diff != 0)) Assert("___diff != 0", "../vm/vm_map.c", 4309 ); }); ___prev = ___cur; ___index = rbtree_d2i(___diff); ___cur = ___cur->children[___index]; } rbtree_insert_rebalance(& (new_map)->hdr.tree, ___prev, ___index, node); }); (((last )->links.next)->links.prev = ((copy)->c_u.hdr.links. prev)) ->links.next = ((last)->links.next); ((last)-> links.next = ((copy)->c_u.hdr.links.next)) ->links.prev = (last); (new_map)->hdr.nentries += (copy)->c_u.hdr.nentries ; kmem_cache_free(&vm_map_copy_cache, (vm_offset_t) copy) ; }); |
4310 | new_size += entry_size; |
4311 | |
4312 | /* |
4313 | * Pick up the traversal at the end of |
4314 | * the copied region. |
4315 | */ |
4316 | |
4317 | vm_map_lock(old_map)({ lock_write(&(old_map)->lock); (old_map)->timestamp ++; }); |
4318 | start += entry_size; |
4319 | if (!vm_map_lookup_entry(old_map, start, &last)) |
4320 | last = last->vme_nextlinks.next; |
4321 | else |
4322 | vm_map_clip_start(old_map, last, start)({ if ((start) > (last)->links.start) _vm_map_clip_start (&(old_map)->hdr,(last),(start)); }); |
4323 | old_entry = last; |
4324 | |
4325 | continue; |
4326 | /* INNER BLOCK (copy cannot be optimized) */ } |
4327 | } |
4328 | old_entry = old_entry->vme_nextlinks.next; |
4329 | } |
4330 | |
4331 | new_map->size = new_size; |
4332 | vm_map_unlock(old_map)lock_done(&(old_map)->lock); |
4333 | |
4334 | return(new_map); |
4335 | } |
4336 | |
4337 | /* |
4338 | * vm_map_lookup: |
4339 | * |
4340 | * Finds the VM object, offset, and |
4341 | * protection for a given virtual address in the |
4342 | * specified map, assuming a page fault of the |
4343 | * type specified. |
4344 | * |
4345 | * Returns the (object, offset, protection) for |
4346 | * this address, whether it is wired down, and whether |
4347 | * this map has the only reference to the data in question. |
4348 | * In order to later verify this lookup, a "version" |
4349 | * is returned. |
4350 | * |
4351 | * The map should not be locked; it will not be |
4352 | * locked on exit. In order to guarantee the |
4353 | * existence of the returned object, it is returned |
4354 | * locked. |
4355 | * |
4356 | * If a lookup is requested with "write protection" |
4357 | * specified, the map may be changed to perform virtual |
4358 | * copying operations, although the data referenced will |
4359 | * remain the same. |
4360 | */ |
4361 | kern_return_t vm_map_lookup(var_map, vaddr, fault_type, out_version, |
4362 | object, offset, out_prot, wired) |
4363 | vm_map_t *var_map; /* IN/OUT */ |
4364 | vm_offset_t vaddr; |
4365 | vm_prot_t fault_type; |
4366 | |
4367 | vm_map_version_t *out_version; /* OUT */ |
4368 | vm_object_t *object; /* OUT */ |
4369 | vm_offset_t *offset; /* OUT */ |
4370 | vm_prot_t *out_prot; /* OUT */ |
4371 | boolean_t *wired; /* OUT */ |
4372 | { |
4373 | vm_map_entry_t entry; |
4374 | vm_map_t map = *var_map; |
4375 | vm_prot_t prot; |
4376 | |
4377 | RetryLookup: ; |
4378 | |
4379 | /* |
4380 | * Lookup the faulting address. |
4381 | */ |
4382 | |
4383 | vm_map_lock_read(map)lock_read(&(map)->lock); |
4384 | |
4385 | #define RETURN(why) \ |
4386 | { \ |
4387 | vm_map_unlock_read(map)lock_done(&(map)->lock); \ |
4388 | return(why); \ |
4389 | } |
4390 | |
4391 | /* |
4392 | * If the map has an interesting hint, try it before calling |
4393 | * full blown lookup routine. |
4394 | */ |
4395 | |
4396 | simple_lock(&map->hint_lock); |
4397 | entry = map->hint; |
4398 | simple_unlock(&map->hint_lock); |
4399 | |
4400 | if ((entry == vm_map_to_entry(map)((struct vm_map_entry *) &(map)->hdr.links)) || |
4401 | (vaddr < entry->vme_startlinks.start) || (vaddr >= entry->vme_endlinks.end)) { |
4402 | vm_map_entry_t tmp_entry; |
4403 | |
4404 | /* |
4405 | * Entry was either not a valid hint, or the vaddr |
4406 | * was not contained in the entry, so do a full lookup. |
4407 | */ |
4408 | if (!vm_map_lookup_entry(map, vaddr, &tmp_entry)) |
4409 | RETURN(KERN_INVALID_ADDRESS1); |
4410 | |
4411 | entry = tmp_entry; |
4412 | } |
4413 | |
4414 | /* |
4415 | * Handle submaps. |
4416 | */ |
4417 | |
4418 | if (entry->is_sub_map) { |
4419 | vm_map_t old_map = map; |
4420 | |
4421 | *var_map = map = entry->object.sub_map; |
4422 | vm_map_unlock_read(old_map)lock_done(&(old_map)->lock); |
4423 | goto RetryLookup; |
4424 | } |
4425 | |
4426 | /* |
4427 | * Check whether this task is allowed to have |
4428 | * this page. |
4429 | */ |
4430 | |
4431 | prot = entry->protection; |
4432 | |
4433 | if ((fault_type & (prot)) != fault_type) { |
4434 | if ((prot & VM_PROT_NOTIFY((vm_prot_t) 0x10)) && (fault_type & VM_PROT_WRITE((vm_prot_t) 0x02))) { |
4435 | RETURN(KERN_WRITE_PROTECTION_FAILURE24); |
4436 | } else { |
4437 | RETURN(KERN_PROTECTION_FAILURE2); |
4438 | } |
4439 | } |
4440 | |
4441 | /* |
4442 | * If this page is not pageable, we have to get |
4443 | * it for all possible accesses. |
4444 | */ |
4445 | |
4446 | if ((*wired = (entry->wired_count != 0))) |
4447 | prot = fault_type = entry->protection; |
4448 | |
4449 | /* |
4450 | * If the entry was copy-on-write, we either ... |
4451 | */ |
4452 | |
4453 | if (entry->needs_copy) { |
4454 | /* |
4455 | * If we want to write the page, we may as well |
4456 | * handle that now since we've got the map locked. |
4457 | * |
4458 | * If we don't need to write the page, we just |
4459 | * demote the permissions allowed. |
4460 | */ |
4461 | |
4462 | if (fault_type & VM_PROT_WRITE((vm_prot_t) 0x02)) { |
4463 | /* |
4464 | * Make a new object, and place it in the |
4465 | * object chain. Note that no new references |
4466 | * have appeared -- one just moved from the |
4467 | * map to the new object. |
4468 | */ |
4469 | |
4470 | if (vm_map_lock_read_to_write(map)(lock_read_to_write(&(map)->lock) || (((map)->timestamp ++), 0))) { |
4471 | goto RetryLookup; |
4472 | } |
4473 | map->timestamp++; |
4474 | |
4475 | vm_object_shadow( |
4476 | &entry->object.vm_object, |
4477 | &entry->offset, |
4478 | (vm_size_t) (entry->vme_endlinks.end - entry->vme_startlinks.start)); |
4479 | |
4480 | entry->needs_copy = FALSE((boolean_t) 0); |
4481 | |
4482 | vm_map_lock_write_to_read(map)lock_write_to_read(&(map)->lock); |
4483 | } |
4484 | else { |
4485 | /* |
4486 | * We're attempting to read a copy-on-write |
4487 | * page -- don't allow writes. |
4488 | */ |
4489 | |
4490 | prot &= (~VM_PROT_WRITE((vm_prot_t) 0x02)); |
4491 | } |
4492 | } |
4493 | |
4494 | /* |
4495 | * Create an object if necessary. |
4496 | */ |
4497 | if (entry->object.vm_object == VM_OBJECT_NULL((vm_object_t) 0)) { |
4498 | |
4499 | if (vm_map_lock_read_to_write(map)(lock_read_to_write(&(map)->lock) || (((map)->timestamp ++), 0))) { |
4500 | goto RetryLookup; |
4501 | } |
4502 | |
4503 | entry->object.vm_object = vm_object_allocate( |
4504 | (vm_size_t)(entry->vme_endlinks.end - entry->vme_startlinks.start)); |
4505 | entry->offset = 0; |
4506 | vm_map_lock_write_to_read(map)lock_write_to_read(&(map)->lock); |
4507 | } |
4508 | |
4509 | /* |
4510 | * Return the object/offset from this entry. If the entry |
4511 | * was copy-on-write or empty, it has been fixed up. Also |
4512 | * return the protection. |
4513 | */ |
4514 | |
4515 | *offset = (vaddr - entry->vme_startlinks.start) + entry->offset; |
4516 | *object = entry->object.vm_object; |
4517 | *out_prot = prot; |
4518 | |
4519 | /* |
4520 | * Lock the object to prevent it from disappearing |
4521 | */ |
4522 | |
4523 | vm_object_lock(*object); |
4524 | |
4525 | /* |
4526 | * Save the version number and unlock the map. |
4527 | */ |
4528 | |
4529 | out_version->main_timestamp = map->timestamp; |
4530 | |
4531 | RETURN(KERN_SUCCESS0); |
4532 | |
4533 | #undef RETURN |
4534 | } |
4535 | |
4536 | /* |
4537 | * vm_map_verify: |
4538 | * |
4539 | * Verifies that the map in question has not changed |
4540 | * since the given version. If successful, the map |
4541 | * will not change until vm_map_verify_done() is called. |
4542 | */ |
4543 | boolean_t vm_map_verify(map, version) |
4544 | vm_map_t map; |
4545 | vm_map_version_t *version; /* REF */ |
4546 | { |
4547 | boolean_t result; |
4548 | |
4549 | vm_map_lock_read(map)lock_read(&(map)->lock); |
4550 | result = (map->timestamp == version->main_timestamp); |
4551 | |
4552 | if (!result) |
4553 | vm_map_unlock_read(map)lock_done(&(map)->lock); |
4554 | |
4555 | return(result); |
4556 | } |
4557 | |
4558 | /* |
4559 | * vm_map_verify_done: |
4560 | * |
4561 | * Releases locks acquired by a vm_map_verify. |
4562 | * |
4563 | * This is now a macro in vm/vm_map.h. It does a |
4564 | * vm_map_unlock_read on the map. |
4565 | */ |
4566 | |
4567 | /* |
4568 | * vm_region: |
4569 | * |
4570 | * User call to obtain information about a region in |
4571 | * a task's address map. |
4572 | */ |
4573 | |
4574 | kern_return_t vm_region(map, address, size, |
4575 | protection, max_protection, |
4576 | inheritance, is_shared, |
4577 | object_name, offset_in_object) |
4578 | vm_map_t map; |
4579 | vm_offset_t *address; /* IN/OUT */ |
4580 | vm_size_t *size; /* OUT */ |
4581 | vm_prot_t *protection; /* OUT */ |
4582 | vm_prot_t *max_protection; /* OUT */ |
4583 | vm_inherit_t *inheritance; /* OUT */ |
4584 | boolean_t *is_shared; /* OUT */ |
4585 | ipc_port_t *object_name; /* OUT */ |
4586 | vm_offset_t *offset_in_object; /* OUT */ |
4587 | { |
4588 | vm_map_entry_t tmp_entry; |
4589 | vm_map_entry_t entry; |
4590 | vm_offset_t tmp_offset; |
4591 | vm_offset_t start; |
4592 | |
4593 | if (map == VM_MAP_NULL((vm_map_t) 0)) |
4594 | return(KERN_INVALID_ARGUMENT4); |
4595 | |
4596 | start = *address; |
4597 | |
4598 | vm_map_lock_read(map)lock_read(&(map)->lock); |
4599 | if (!vm_map_lookup_entry(map, start, &tmp_entry)) { |
4600 | if ((entry = tmp_entry->vme_nextlinks.next) == vm_map_to_entry(map)((struct vm_map_entry *) &(map)->hdr.links)) { |
4601 | vm_map_unlock_read(map)lock_done(&(map)->lock); |
4602 | return(KERN_NO_SPACE3); |
4603 | } |
4604 | } else { |
4605 | entry = tmp_entry; |
4606 | } |
4607 | |
4608 | start = entry->vme_startlinks.start; |
4609 | *protection = entry->protection; |
4610 | *max_protection = entry->max_protection; |
4611 | *inheritance = entry->inheritance; |
4612 | *address = start; |
4613 | *size = (entry->vme_endlinks.end - start); |
4614 | |
4615 | tmp_offset = entry->offset; |
4616 | |
4617 | |
4618 | if (entry->is_sub_map) { |
4619 | *is_shared = FALSE((boolean_t) 0); |
4620 | *object_name = IP_NULL((ipc_port_t) ((ipc_object_t) 0)); |
4621 | *offset_in_object = tmp_offset; |
4622 | } else { |
4623 | *is_shared = entry->is_shared; |
4624 | *object_name = vm_object_name(entry->object.vm_object); |
4625 | *offset_in_object = tmp_offset; |
4626 | } |
4627 | |
4628 | vm_map_unlock_read(map)lock_done(&(map)->lock); |
4629 | |
4630 | return(KERN_SUCCESS0); |
4631 | } |
4632 | |
4633 | /* |
4634 | * Routine: vm_map_simplify |
4635 | * |
4636 | * Description: |
4637 | * Attempt to simplify the map representation in |
4638 | * the vicinity of the given starting address. |
4639 | * Note: |
4640 | * This routine is intended primarily to keep the |
4641 | * kernel maps more compact -- they generally don't |
4642 | * benefit from the "expand a map entry" technology |
4643 | * at allocation time because the adjacent entry |
4644 | * is often wired down. |
4645 | */ |
4646 | void vm_map_simplify(map, start) |
4647 | vm_map_t map; |
4648 | vm_offset_t start; |
4649 | { |
4650 | vm_map_entry_t this_entry; |
4651 | vm_map_entry_t prev_entry; |
4652 | |
4653 | vm_map_lock(map)({ lock_write(&(map)->lock); (map)->timestamp++; }); |
4654 | if ( |
4655 | (vm_map_lookup_entry(map, start, &this_entry)) && |
4656 | ((prev_entry = this_entry->vme_prevlinks.prev) != vm_map_to_entry(map)((struct vm_map_entry *) &(map)->hdr.links)) && |
4657 | |
4658 | (prev_entry->vme_endlinks.end == start) && |
4659 | |
4660 | (prev_entry->is_shared == FALSE((boolean_t) 0)) && |
4661 | (prev_entry->is_sub_map == FALSE((boolean_t) 0)) && |
4662 | |
4663 | (this_entry->is_shared == FALSE((boolean_t) 0)) && |
4664 | (this_entry->is_sub_map == FALSE((boolean_t) 0)) && |
4665 | |
4666 | (prev_entry->inheritance == this_entry->inheritance) && |
4667 | (prev_entry->protection == this_entry->protection) && |
4668 | (prev_entry->max_protection == this_entry->max_protection) && |
4669 | (prev_entry->wired_count == this_entry->wired_count) && |
4670 | (prev_entry->user_wired_count == this_entry->user_wired_count) && |
4671 | |
4672 | (prev_entry->needs_copy == this_entry->needs_copy) && |
4673 | |
4674 | (prev_entry->object.vm_object == this_entry->object.vm_object) && |
4675 | ((prev_entry->offset + (prev_entry->vme_endlinks.end - prev_entry->vme_startlinks.start)) |
4676 | == this_entry->offset) && |
4677 | (prev_entry->projected_on == 0) && |
4678 | (this_entry->projected_on == 0) |
4679 | ) { |
4680 | if (map->first_free == this_entry) |
4681 | map->first_free = prev_entry; |
4682 | |
4683 | SAVE_HINT(map, prev_entry); (map)->hint = (prev_entry); ;; |
4684 | vm_map_entry_unlink(map, this_entry)({ (&(map)->hdr)->nentries--; (this_entry)->links .next->links.prev = (this_entry)->links.prev; (this_entry )->links.prev->links.next = (this_entry)->links.next ; rbtree_remove(&(&(map)->hdr)->tree, &(this_entry )->tree_node); }); |
4685 | prev_entry->vme_endlinks.end = this_entry->vme_endlinks.end; |
4686 | vm_object_deallocate(this_entry->object.vm_object); |
4687 | vm_map_entry_dispose(map, this_entry)_vm_map_entry_dispose(&(map)->hdr, (this_entry)); |
4688 | } |
4689 | vm_map_unlock(map)lock_done(&(map)->lock); |
4690 | } |
4691 | |
4692 | |
4693 | /* |
4694 | * Routine: vm_map_machine_attribute |
4695 | * Purpose: |
4696 | * Provide machine-specific attributes to mappings, |
4697 | * such as cachability etc. for machines that provide |
4698 | * them. NUMA architectures and machines with big/strange |
4699 | * caches will use this. |
4700 | * Note: |
4701 | * Responsibilities for locking and checking are handled here, |
4702 | * everything else in the pmap module. If any non-volatile |
4703 | * information must be kept, the pmap module should handle |
4704 | * it itself. [This assumes that attributes do not |
4705 | * need to be inherited, which seems ok to me] |
4706 | */ |
4707 | kern_return_t vm_map_machine_attribute(map, address, size, attribute, value) |
4708 | vm_map_t map; |
4709 | vm_offset_t address; |
4710 | vm_size_t size; |
4711 | vm_machine_attribute_t attribute; |
4712 | vm_machine_attribute_val_t* value; /* IN/OUT */ |
4713 | { |
4714 | kern_return_t ret; |
4715 | |
4716 | if (address < vm_map_min(map)((map)->hdr.links.start) || |
4717 | (address + size) > vm_map_max(map)((map)->hdr.links.end)) |
4718 | return KERN_INVALID_ARGUMENT4; |
4719 | |
4720 | vm_map_lock(map)({ lock_write(&(map)->lock); (map)->timestamp++; }); |
4721 | |
4722 | ret = pmap_attribute(map->pmap, address, size, attribute, value)(1); |
4723 | |
4724 | vm_map_unlock(map)lock_done(&(map)->lock); |
4725 | |
4726 | return ret; |
4727 | } |
4728 | |
4729 | |
4730 | #if MACH_KDB0 |
4731 | |
4732 | #define printf kdbprintf |
4733 | |
4734 | /* |
4735 | * vm_map_print: [ debug ] |
4736 | */ |
4737 | void vm_map_print(map) |
4738 | vm_map_t map; |
4739 | { |
4740 | vm_map_entry_t entry; |
4741 | |
4742 | iprintf("Task map 0x%X: pmap=0x%X,", |
4743 | (vm_offset_t) map, (vm_offset_t) (map->pmap)); |
4744 | printf("ref=%d,nentries=%d,", map->ref_count, map->hdr.nentries); |
4745 | printf("version=%d\n", map->timestamp); |
4746 | indent += 2; |
4747 | for (entry = vm_map_first_entry(map)((map)->hdr.links.next); |
4748 | entry != vm_map_to_entry(map)((struct vm_map_entry *) &(map)->hdr.links); |
4749 | entry = entry->vme_nextlinks.next) { |
4750 | static char *inheritance_name[3] = { "share", "copy", "none"}; |
4751 | |
4752 | iprintf("map entry 0x%X: ", (vm_offset_t) entry); |
4753 | printf("start=0x%X, end=0x%X, ", |
4754 | (vm_offset_t) entry->vme_startlinks.start, (vm_offset_t) entry->vme_endlinks.end); |
4755 | printf("prot=%X/%X/%s, ", |
4756 | entry->protection, |
4757 | entry->max_protection, |
4758 | inheritance_name[entry->inheritance]); |
4759 | if (entry->wired_count != 0) { |
4760 | printf("wired("); |
4761 | if (entry->user_wired_count != 0) |
4762 | printf("u"); |
4763 | if (entry->wired_count > |
4764 | ((entry->user_wired_count == 0) ? 0 : 1)) |
4765 | printf("k"); |
4766 | printf(") "); |
4767 | } |
4768 | if (entry->in_transition) { |
4769 | printf("in transition"); |
4770 | if (entry->needs_wakeup) |
4771 | printf("(wake request)"); |
4772 | printf(", "); |
4773 | } |
4774 | if (entry->is_sub_map) { |
4775 | printf("submap=0x%X, offset=0x%X\n", |
4776 | (vm_offset_t) entry->object.sub_map, |
4777 | (vm_offset_t) entry->offset); |
4778 | } else { |
4779 | printf("object=0x%X, offset=0x%X", |
4780 | (vm_offset_t) entry->object.vm_object, |
4781 | (vm_offset_t) entry->offset); |
4782 | if (entry->is_shared) |
4783 | printf(", shared"); |
4784 | if (entry->needs_copy) |
4785 | printf(", copy needed"); |
4786 | printf("\n"); |
4787 | |
4788 | if ((entry->vme_prevlinks.prev == vm_map_to_entry(map)((struct vm_map_entry *) &(map)->hdr.links)) || |
4789 | (entry->vme_prevlinks.prev->object.vm_object != entry->object.vm_object)) { |
4790 | indent += 2; |
4791 | vm_object_print(entry->object.vm_object); |
4792 | indent -= 2; |
4793 | } |
4794 | } |
4795 | } |
4796 | indent -= 2; |
4797 | } |
4798 | |
4799 | /* |
4800 | * Routine: vm_map_copy_print |
4801 | * Purpose: |
4802 | * Pretty-print a copy object for ddb. |
4803 | */ |
4804 | |
4805 | void vm_map_copy_print(copy) |
4806 | vm_map_copy_t copy; |
4807 | { |
4808 | int i, npages; |
4809 | |
4810 | printf("copy object 0x%x\n", copy); |
4811 | |
4812 | indent += 2; |
4813 | |
4814 | iprintf("type=%d", copy->type); |
4815 | switch (copy->type) { |
4816 | case VM_MAP_COPY_ENTRY_LIST1: |
4817 | printf("[entry_list]"); |
4818 | break; |
4819 | |
4820 | case VM_MAP_COPY_OBJECT2: |
4821 | printf("[object]"); |
4822 | break; |
4823 | |
4824 | case VM_MAP_COPY_PAGE_LIST3: |
4825 | printf("[page_list]"); |
4826 | break; |
4827 | |
4828 | default: |
4829 | printf("[bad type]"); |
4830 | break; |
4831 | } |
4832 | printf(", offset=0x%x", copy->offset); |
4833 | printf(", size=0x%x\n", copy->size); |
4834 | |
4835 | switch (copy->type) { |
4836 | case VM_MAP_COPY_ENTRY_LIST1: |
4837 | /* XXX add stuff here */ |
4838 | break; |
4839 | |
4840 | case VM_MAP_COPY_OBJECT2: |
4841 | iprintf("object=0x%x\n", copy->cpy_objectc_u.c_o.object); |
4842 | break; |
4843 | |
4844 | case VM_MAP_COPY_PAGE_LIST3: |
4845 | iprintf("npages=%d", copy->cpy_npagesc_u.c_p.npages); |
4846 | printf(", cont=%x", copy->cpy_contc_u.c_p.cont); |
4847 | printf(", cont_args=%x\n", copy->cpy_cont_argsc_u.c_p.cont_args); |
4848 | if (copy->cpy_npagesc_u.c_p.npages < 0) { |
4849 | npages = 0; |
4850 | } else if (copy->cpy_npagesc_u.c_p.npages > VM_MAP_COPY_PAGE_LIST_MAX64) { |
4851 | npages = VM_MAP_COPY_PAGE_LIST_MAX64; |
4852 | } else { |
4853 | npages = copy->cpy_npagesc_u.c_p.npages; |
4854 | } |
4855 | iprintf("copy->cpy_page_list[0..%d] = {", npages); |
4856 | for (i = 0; i < npages - 1; i++) { |
4857 | printf("0x%x, ", copy->cpy_page_listc_u.c_p.page_list[i]); |
4858 | } |
4859 | if (npages > 0) { |
4860 | printf("0x%x", copy->cpy_page_listc_u.c_p.page_list[npages - 1]); |
4861 | } |
4862 | printf("}\n"); |
4863 | break; |
4864 | } |
4865 | |
4866 | indent -= 2; |
4867 | } |
4868 | #endif /* MACH_KDB */ |