xref: /csrg-svn/sys/vm/vm_map.c (revision 53357)
145748Smckusick /*
245748Smckusick  * Copyright (c) 1991 Regents of the University of California.
345748Smckusick  * All rights reserved.
445748Smckusick  *
545748Smckusick  * This code is derived from software contributed to Berkeley by
645748Smckusick  * The Mach Operating System project at Carnegie-Mellon University.
745748Smckusick  *
848493Smckusick  * %sccs.include.redist.c%
945748Smckusick  *
10*53357Sbostic  *	@(#)vm_map.c	7.6 (Berkeley) 05/04/92
1148493Smckusick  *
1248493Smckusick  *
1348493Smckusick  * Copyright (c) 1987, 1990 Carnegie-Mellon University.
1448493Smckusick  * All rights reserved.
1548493Smckusick  *
1648493Smckusick  * Authors: Avadis Tevanian, Jr., Michael Wayne Young
1748493Smckusick  *
1848493Smckusick  * Permission to use, copy, modify and distribute this software and
1948493Smckusick  * its documentation is hereby granted, provided that both the copyright
2048493Smckusick  * notice and this permission notice appear in all copies of the
2148493Smckusick  * software, derivative works or modified versions, and any portions
2248493Smckusick  * thereof, and that both notices appear in supporting documentation.
2348493Smckusick  *
2448493Smckusick  * CARNEGIE MELLON ALLOWS FREE USE OF THIS SOFTWARE IN ITS "AS IS"
2548493Smckusick  * CONDITION.  CARNEGIE MELLON DISCLAIMS ANY LIABILITY OF ANY KIND
2648493Smckusick  * FOR ANY DAMAGES WHATSOEVER RESULTING FROM THE USE OF THIS SOFTWARE.
2748493Smckusick  *
2848493Smckusick  * Carnegie Mellon requests users of this software to return to
2948493Smckusick  *
3048493Smckusick  *  Software Distribution Coordinator  or  Software.Distribution@CS.CMU.EDU
3148493Smckusick  *  School of Computer Science
3248493Smckusick  *  Carnegie Mellon University
3348493Smckusick  *  Pittsburgh PA 15213-3890
3448493Smckusick  *
3548493Smckusick  * any improvements or extensions that they make and grant Carnegie the
3648493Smckusick  * rights to redistribute these changes.
3745748Smckusick  */
3845748Smckusick 
3945748Smckusick /*
4045748Smckusick  *	Virtual memory mapping module.
4145748Smckusick  */
4245748Smckusick 
43*53357Sbostic #include <sys/param.h>
44*53357Sbostic #include <sys/systm.h>
45*53357Sbostic #include <sys/malloc.h>
4645748Smckusick 
47*53357Sbostic #include <vm/vm.h>
48*53357Sbostic #include <vm/vm_page.h>
49*53357Sbostic #include <vm/vm_object.h>
50*53357Sbostic 
5145748Smckusick /*
5245748Smckusick  *	Virtual memory maps provide for the mapping, protection,
5345748Smckusick  *	and sharing of virtual memory objects.  In addition,
5445748Smckusick  *	this module provides for an efficient virtual copy of
5545748Smckusick  *	memory from one map to another.
5645748Smckusick  *
5745748Smckusick  *	Synchronization is required prior to most operations.
5845748Smckusick  *
5945748Smckusick  *	Maps consist of an ordered doubly-linked list of simple
6045748Smckusick  *	entries; a single hint is used to speed up lookups.
6145748Smckusick  *
6245748Smckusick  *	In order to properly represent the sharing of virtual
6345748Smckusick  *	memory regions among maps, the map structure is bi-level.
6445748Smckusick  *	Top-level ("address") maps refer to regions of sharable
6545748Smckusick  *	virtual memory.  These regions are implemented as
6645748Smckusick  *	("sharing") maps, which then refer to the actual virtual
6745748Smckusick  *	memory objects.  When two address maps "share" memory,
6845748Smckusick  *	their top-level maps both have references to the same
6945748Smckusick  *	sharing map.  When memory is virtual-copied from one
7045748Smckusick  *	address map to another, the references in the sharing
7145748Smckusick  *	maps are actually copied -- no copying occurs at the
7245748Smckusick  *	virtual memory object level.
7345748Smckusick  *
7445748Smckusick  *	Since portions of maps are specified by start/end addreses,
7545748Smckusick  *	which may not align with existing map entries, all
7645748Smckusick  *	routines merely "clip" entries to these start/end values.
7745748Smckusick  *	[That is, an entry is split into two, bordering at a
7845748Smckusick  *	start or end value.]  Note that these clippings may not
7945748Smckusick  *	always be necessary (as the two resulting entries are then
8045748Smckusick  *	not changed); however, the clipping is done for convenience.
8145748Smckusick  *	No attempt is currently made to "glue back together" two
8245748Smckusick  *	abutting entries.
8345748Smckusick  *
8445748Smckusick  *	As mentioned above, virtual copy operations are performed
8545748Smckusick  *	by copying VM object references from one sharing map to
8645748Smckusick  *	another, and then marking both regions as copy-on-write.
8745748Smckusick  *	It is important to note that only one writeable reference
8845748Smckusick  *	to a VM object region exists in any map -- this means that
8945748Smckusick  *	shadow object creation can be delayed until a write operation
9045748Smckusick  *	occurs.
9145748Smckusick  */
9245748Smckusick 
9345748Smckusick /*
9448383Skarels  *	vm_map_startup:
9545748Smckusick  *
9645748Smckusick  *	Initialize the vm_map module.  Must be called before
9745748Smckusick  *	any other vm_map routines.
9845748Smckusick  *
9945748Smckusick  *	Map and entry structures are allocated from the general
10045748Smckusick  *	purpose memory pool with some exceptions:
10145748Smckusick  *
10245748Smckusick  *	- The kernel map and kmem submap are allocated statically.
10345748Smckusick  *	- Kernel map entries are allocated out of a static pool.
10445748Smckusick  *
10545748Smckusick  *	These restrictions are necessary since malloc() uses the
10645748Smckusick  *	maps and requires map entries.
10745748Smckusick  */
10845748Smckusick 
10945748Smckusick vm_offset_t	kentry_data;
11045748Smckusick vm_size_t	kentry_data_size;
11145748Smckusick vm_map_entry_t	kentry_free;
11245748Smckusick vm_map_t	kmap_free;
11345748Smckusick 
114*53357Sbostic static void	_vm_map_clip_end __P((vm_map_t, vm_map_entry_t, vm_offset_t));
115*53357Sbostic static void	_vm_map_clip_start __P((vm_map_t, vm_map_entry_t, vm_offset_t));
116*53357Sbostic 
11748383Skarels void vm_map_startup()
11845748Smckusick {
11945748Smckusick 	register int i;
12045748Smckusick 	register vm_map_entry_t mep;
12145748Smckusick 	vm_map_t mp;
12245748Smckusick 
12345748Smckusick 	/*
12445748Smckusick 	 * Static map structures for allocation before initialization of
12545748Smckusick 	 * kernel map or kmem map.  vm_map_create knows how to deal with them.
12645748Smckusick 	 */
12745748Smckusick 	kmap_free = mp = (vm_map_t) kentry_data;
12845748Smckusick 	i = MAX_KMAP;
12945748Smckusick 	while (--i > 0) {
13045748Smckusick 		mp->header.next = (vm_map_entry_t) (mp + 1);
13145748Smckusick 		mp++;
13245748Smckusick 	}
13348383Skarels 	mp++->header.next = NULL;
13445748Smckusick 
13545748Smckusick 	/*
13645748Smckusick 	 * Form a free list of statically allocated kernel map entries
13745748Smckusick 	 * with the rest.
13845748Smckusick 	 */
13945748Smckusick 	kentry_free = mep = (vm_map_entry_t) mp;
14045748Smckusick 	i = (kentry_data_size - MAX_KMAP * sizeof *mp) / sizeof *mep;
14145748Smckusick 	while (--i > 0) {
14245748Smckusick 		mep->next = mep + 1;
14345748Smckusick 		mep++;
14445748Smckusick 	}
14548383Skarels 	mep->next = NULL;
14645748Smckusick }
14745748Smckusick 
14845748Smckusick /*
14948383Skarels  * Allocate a vmspace structure, including a vm_map and pmap,
15048383Skarels  * and initialize those structures.  The refcnt is set to 1.
15148383Skarels  * The remaining fields must be initialized by the caller.
15248383Skarels  */
15348383Skarels struct vmspace *
15448383Skarels vmspace_alloc(min, max, pageable)
15548383Skarels 	vm_offset_t min, max;
15648383Skarels 	int pageable;
15748383Skarels {
15848383Skarels 	register struct vmspace *vm;
15948383Skarels 
16048383Skarels 	MALLOC(vm, struct vmspace *, sizeof(struct vmspace), M_VMMAP, M_WAITOK);
16148383Skarels 	bzero(vm, (caddr_t) &vm->vm_startcopy - (caddr_t) vm);
16248383Skarels 	vm_map_init(&vm->vm_map, min, max, pageable);
16348383Skarels 	pmap_pinit(&vm->vm_pmap);
16448383Skarels 	vm->vm_map.pmap = &vm->vm_pmap;		/* XXX */
16548383Skarels 	vm->vm_refcnt = 1;
16648383Skarels 	return (vm);
16748383Skarels }
16848383Skarels 
16948383Skarels void
17048383Skarels vmspace_free(vm)
17148383Skarels 	register struct vmspace *vm;
17248383Skarels {
17348383Skarels 
17448383Skarels 	if (--vm->vm_refcnt == 0) {
17548383Skarels 		/*
17648383Skarels 		 * Lock the map, to wait out all other references to it.
17748383Skarels 		 * Delete all of the mappings and pages they hold,
17848383Skarels 		 * then call the pmap module to reclaim anything left.
17948383Skarels 		 */
18048383Skarels 		vm_map_lock(&vm->vm_map);
18148383Skarels 		(void) vm_map_delete(&vm->vm_map, vm->vm_map.min_offset,
18248383Skarels 		    vm->vm_map.max_offset);
18348383Skarels 		pmap_release(&vm->vm_pmap);
18448383Skarels 		FREE(vm, M_VMMAP);
18548383Skarels 	}
18648383Skarels }
18748383Skarels 
18848383Skarels /*
18945748Smckusick  *	vm_map_create:
19045748Smckusick  *
19145748Smckusick  *	Creates and returns a new empty VM map with
19245748Smckusick  *	the given physical map structure, and having
19345748Smckusick  *	the given lower and upper address bounds.
19445748Smckusick  */
19545748Smckusick vm_map_t vm_map_create(pmap, min, max, pageable)
19645748Smckusick 	pmap_t		pmap;
19745748Smckusick 	vm_offset_t	min, max;
19845748Smckusick 	boolean_t	pageable;
19945748Smckusick {
20045748Smckusick 	register vm_map_t	result;
20145748Smckusick 	extern vm_map_t		kernel_map, kmem_map;
20245748Smckusick 
20348383Skarels 	if (kmem_map == NULL) {
20445748Smckusick 		result = kmap_free;
20545748Smckusick 		kmap_free = (vm_map_t) result->header.next;
20648383Skarels 		if (result == NULL)
20748383Skarels 			panic("vm_map_create: out of maps");
20845748Smckusick 	} else
20945748Smckusick 		MALLOC(result, vm_map_t, sizeof(struct vm_map),
21045748Smckusick 		       M_VMMAP, M_WAITOK);
21145748Smckusick 
21248383Skarels 	vm_map_init(result, min, max, pageable);
21345748Smckusick 	result->pmap = pmap;
21445748Smckusick 	return(result);
21545748Smckusick }
21645748Smckusick 
21745748Smckusick /*
21848383Skarels  * Initialize an existing vm_map structure
21948383Skarels  * such as that in the vmspace structure.
22048383Skarels  * The pmap is set elsewhere.
22148383Skarels  */
22248383Skarels void
22348383Skarels vm_map_init(map, min, max, pageable)
22448383Skarels 	register struct vm_map *map;
22548383Skarels 	vm_offset_t	min, max;
22648383Skarels 	boolean_t	pageable;
22748383Skarels {
22848383Skarels 	map->header.next = map->header.prev = &map->header;
22948383Skarels 	map->nentries = 0;
23048383Skarels 	map->size = 0;
23148383Skarels 	map->ref_count = 1;
23248383Skarels 	map->is_main_map = TRUE;
23348383Skarels 	map->min_offset = min;
23448383Skarels 	map->max_offset = max;
23548383Skarels 	map->entries_pageable = pageable;
23648383Skarels 	map->first_free = &map->header;
23748383Skarels 	map->hint = &map->header;
23848383Skarels 	map->timestamp = 0;
23948383Skarels 	lock_init(&map->lock, TRUE);
24048383Skarels 	simple_lock_init(&map->ref_lock);
24148383Skarels 	simple_lock_init(&map->hint_lock);
24248383Skarels }
24348383Skarels 
24448383Skarels /*
24545748Smckusick  *	vm_map_entry_create:	[ internal use only ]
24645748Smckusick  *
24745748Smckusick  *	Allocates a VM map entry for insertion.
24845748Smckusick  *	No entry fields are filled in.  This routine is
24945748Smckusick  */
25045748Smckusick vm_map_entry_t vm_map_entry_create(map)
25145748Smckusick 	vm_map_t	map;
25245748Smckusick {
25345748Smckusick 	vm_map_entry_t	entry;
25445748Smckusick 	extern vm_map_t		kernel_map, kmem_map, mb_map;
25545748Smckusick 
25645748Smckusick 	if (map == kernel_map || map == kmem_map || map == mb_map) {
25745748Smckusick 		if (entry = kentry_free)
25845748Smckusick 			kentry_free = kentry_free->next;
25945748Smckusick 	} else
26045748Smckusick 		MALLOC(entry, vm_map_entry_t, sizeof(struct vm_map_entry),
26145748Smckusick 		       M_VMMAPENT, M_WAITOK);
26248383Skarels 	if (entry == NULL)
26345748Smckusick 		panic("vm_map_entry_create: out of map entries");
26445748Smckusick 
26545748Smckusick 	return(entry);
26645748Smckusick }
26745748Smckusick 
26845748Smckusick /*
26945748Smckusick  *	vm_map_entry_dispose:	[ internal use only ]
27045748Smckusick  *
27145748Smckusick  *	Inverse of vm_map_entry_create.
27245748Smckusick  */
27345748Smckusick void vm_map_entry_dispose(map, entry)
27445748Smckusick 	vm_map_t	map;
27545748Smckusick 	vm_map_entry_t	entry;
27645748Smckusick {
27745748Smckusick 	extern vm_map_t		kernel_map, kmem_map, mb_map;
27845748Smckusick 
27945748Smckusick 	if (map == kernel_map || map == kmem_map || map == mb_map) {
28045748Smckusick 		entry->next = kentry_free;
28145748Smckusick 		kentry_free = entry;
28245748Smckusick 	} else
28345748Smckusick 		FREE(entry, M_VMMAPENT);
28445748Smckusick }
28545748Smckusick 
28645748Smckusick /*
28745748Smckusick  *	vm_map_entry_{un,}link:
28845748Smckusick  *
28945748Smckusick  *	Insert/remove entries from maps.
29045748Smckusick  */
29145748Smckusick #define	vm_map_entry_link(map, after_where, entry) \
29245748Smckusick 		{ \
29345748Smckusick 		(map)->nentries++; \
29445748Smckusick 		(entry)->prev = (after_where); \
29545748Smckusick 		(entry)->next = (after_where)->next; \
29645748Smckusick 		(entry)->prev->next = (entry); \
29745748Smckusick 		(entry)->next->prev = (entry); \
29845748Smckusick 		}
29945748Smckusick #define	vm_map_entry_unlink(map, entry) \
30045748Smckusick 		{ \
30145748Smckusick 		(map)->nentries--; \
30245748Smckusick 		(entry)->next->prev = (entry)->prev; \
30345748Smckusick 		(entry)->prev->next = (entry)->next; \
30445748Smckusick 		}
30545748Smckusick 
30645748Smckusick /*
30745748Smckusick  *	vm_map_reference:
30845748Smckusick  *
30945748Smckusick  *	Creates another valid reference to the given map.
31045748Smckusick  *
31145748Smckusick  */
31245748Smckusick void vm_map_reference(map)
31345748Smckusick 	register vm_map_t	map;
31445748Smckusick {
31548383Skarels 	if (map == NULL)
31645748Smckusick 		return;
31745748Smckusick 
31845748Smckusick 	simple_lock(&map->ref_lock);
31945748Smckusick 	map->ref_count++;
32045748Smckusick 	simple_unlock(&map->ref_lock);
32145748Smckusick }
32245748Smckusick 
32345748Smckusick /*
32445748Smckusick  *	vm_map_deallocate:
32545748Smckusick  *
32645748Smckusick  *	Removes a reference from the specified map,
32745748Smckusick  *	destroying it if no references remain.
32845748Smckusick  *	The map should not be locked.
32945748Smckusick  */
33045748Smckusick void vm_map_deallocate(map)
33145748Smckusick 	register vm_map_t	map;
33245748Smckusick {
33345748Smckusick 	register int		c;
33445748Smckusick 
33548383Skarels 	if (map == NULL)
33645748Smckusick 		return;
33745748Smckusick 
33845748Smckusick 	simple_lock(&map->ref_lock);
33945748Smckusick 	c = --map->ref_count;
34045748Smckusick 	simple_unlock(&map->ref_lock);
34145748Smckusick 
34245748Smckusick 	if (c > 0) {
34345748Smckusick 		return;
34445748Smckusick 	}
34545748Smckusick 
34645748Smckusick 	/*
34745748Smckusick 	 *	Lock the map, to wait out all other references
34845748Smckusick 	 *	to it.
34945748Smckusick 	 */
35045748Smckusick 
35145748Smckusick 	vm_map_lock(map);
35245748Smckusick 
35345748Smckusick 	(void) vm_map_delete(map, map->min_offset, map->max_offset);
35445748Smckusick 
35545748Smckusick 	pmap_destroy(map->pmap);
35645748Smckusick 
35745748Smckusick 	FREE(map, M_VMMAP);
35845748Smckusick }
35945748Smckusick 
36045748Smckusick /*
36145748Smckusick  *	vm_map_insert:	[ internal use only ]
36245748Smckusick  *
36345748Smckusick  *	Inserts the given whole VM object into the target
36445748Smckusick  *	map at the specified address range.  The object's
36545748Smckusick  *	size should match that of the address range.
36645748Smckusick  *
36745748Smckusick  *	Requires that the map be locked, and leaves it so.
36845748Smckusick  */
369*53357Sbostic int
37045748Smckusick vm_map_insert(map, object, offset, start, end)
37145748Smckusick 	vm_map_t	map;
37245748Smckusick 	vm_object_t	object;
37345748Smckusick 	vm_offset_t	offset;
37445748Smckusick 	vm_offset_t	start;
37545748Smckusick 	vm_offset_t	end;
37645748Smckusick {
37745748Smckusick 	register vm_map_entry_t		new_entry;
37845748Smckusick 	register vm_map_entry_t		prev_entry;
37945748Smckusick 	vm_map_entry_t			temp_entry;
38045748Smckusick 
38145748Smckusick 	/*
38245748Smckusick 	 *	Check that the start and end points are not bogus.
38345748Smckusick 	 */
38445748Smckusick 
38545748Smckusick 	if ((start < map->min_offset) || (end > map->max_offset) ||
38645748Smckusick 			(start >= end))
38745748Smckusick 		return(KERN_INVALID_ADDRESS);
38845748Smckusick 
38945748Smckusick 	/*
39045748Smckusick 	 *	Find the entry prior to the proposed
39145748Smckusick 	 *	starting address; if it's part of an
39245748Smckusick 	 *	existing entry, this range is bogus.
39345748Smckusick 	 */
39445748Smckusick 
39545748Smckusick 	if (vm_map_lookup_entry(map, start, &temp_entry))
39645748Smckusick 		return(KERN_NO_SPACE);
39745748Smckusick 
39845748Smckusick 	prev_entry = temp_entry;
39945748Smckusick 
40045748Smckusick 	/*
40145748Smckusick 	 *	Assert that the next entry doesn't overlap the
40245748Smckusick 	 *	end point.
40345748Smckusick 	 */
40445748Smckusick 
40545748Smckusick 	if ((prev_entry->next != &map->header) &&
40645748Smckusick 			(prev_entry->next->start < end))
40745748Smckusick 		return(KERN_NO_SPACE);
40845748Smckusick 
40945748Smckusick 	/*
41045748Smckusick 	 *	See if we can avoid creating a new entry by
41145748Smckusick 	 *	extending one of our neighbors.
41245748Smckusick 	 */
41345748Smckusick 
41448383Skarels 	if (object == NULL) {
41545748Smckusick 		if ((prev_entry != &map->header) &&
41645748Smckusick 		    (prev_entry->end == start) &&
41745748Smckusick 		    (map->is_main_map) &&
41845748Smckusick 		    (prev_entry->is_a_map == FALSE) &&
41945748Smckusick 		    (prev_entry->is_sub_map == FALSE) &&
42045748Smckusick 		    (prev_entry->inheritance == VM_INHERIT_DEFAULT) &&
42145748Smckusick 		    (prev_entry->protection == VM_PROT_DEFAULT) &&
42245748Smckusick 		    (prev_entry->max_protection == VM_PROT_DEFAULT) &&
42345748Smckusick 		    (prev_entry->wired_count == 0)) {
42445748Smckusick 
42545748Smckusick 			if (vm_object_coalesce(prev_entry->object.vm_object,
42648383Skarels 					NULL,
42745748Smckusick 					prev_entry->offset,
42845748Smckusick 					(vm_offset_t) 0,
42945748Smckusick 					(vm_size_t)(prev_entry->end
43045748Smckusick 						     - prev_entry->start),
43145748Smckusick 					(vm_size_t)(end - prev_entry->end))) {
43245748Smckusick 				/*
43345748Smckusick 				 *	Coalesced the two objects - can extend
43445748Smckusick 				 *	the previous map entry to include the
43545748Smckusick 				 *	new range.
43645748Smckusick 				 */
43745748Smckusick 				map->size += (end - prev_entry->end);
43845748Smckusick 				prev_entry->end = end;
43945748Smckusick 				return(KERN_SUCCESS);
44045748Smckusick 			}
44145748Smckusick 		}
44245748Smckusick 	}
44345748Smckusick 
44445748Smckusick 	/*
44545748Smckusick 	 *	Create a new entry
44645748Smckusick 	 */
44745748Smckusick 
44845748Smckusick 	new_entry = vm_map_entry_create(map);
44945748Smckusick 	new_entry->start = start;
45045748Smckusick 	new_entry->end = end;
45145748Smckusick 
45245748Smckusick 	new_entry->is_a_map = FALSE;
45345748Smckusick 	new_entry->is_sub_map = FALSE;
45445748Smckusick 	new_entry->object.vm_object = object;
45545748Smckusick 	new_entry->offset = offset;
45645748Smckusick 
45745748Smckusick 	new_entry->copy_on_write = FALSE;
45845748Smckusick 	new_entry->needs_copy = FALSE;
45945748Smckusick 
46045748Smckusick 	if (map->is_main_map) {
46145748Smckusick 		new_entry->inheritance = VM_INHERIT_DEFAULT;
46245748Smckusick 		new_entry->protection = VM_PROT_DEFAULT;
46345748Smckusick 		new_entry->max_protection = VM_PROT_DEFAULT;
46445748Smckusick 		new_entry->wired_count = 0;
46545748Smckusick 	}
46645748Smckusick 
46745748Smckusick 	/*
46845748Smckusick 	 *	Insert the new entry into the list
46945748Smckusick 	 */
47045748Smckusick 
47145748Smckusick 	vm_map_entry_link(map, prev_entry, new_entry);
47245748Smckusick 	map->size += new_entry->end - new_entry->start;
47345748Smckusick 
47445748Smckusick 	/*
47545748Smckusick 	 *	Update the free space hint
47645748Smckusick 	 */
47745748Smckusick 
47845748Smckusick 	if ((map->first_free == prev_entry) && (prev_entry->end >= new_entry->start))
47945748Smckusick 		map->first_free = new_entry;
48045748Smckusick 
48145748Smckusick 	return(KERN_SUCCESS);
48245748Smckusick }
48345748Smckusick 
48445748Smckusick /*
48545748Smckusick  *	SAVE_HINT:
48645748Smckusick  *
48745748Smckusick  *	Saves the specified entry as the hint for
48845748Smckusick  *	future lookups.  Performs necessary interlocks.
48945748Smckusick  */
49045748Smckusick #define	SAVE_HINT(map,value) \
49145748Smckusick 		simple_lock(&(map)->hint_lock); \
49245748Smckusick 		(map)->hint = (value); \
49345748Smckusick 		simple_unlock(&(map)->hint_lock);
49445748Smckusick 
49545748Smckusick /*
49645748Smckusick  *	vm_map_lookup_entry:	[ internal use only ]
49745748Smckusick  *
49845748Smckusick  *	Finds the map entry containing (or
49945748Smckusick  *	immediately preceding) the specified address
50045748Smckusick  *	in the given map; the entry is returned
50145748Smckusick  *	in the "entry" parameter.  The boolean
50245748Smckusick  *	result indicates whether the address is
50345748Smckusick  *	actually contained in the map.
50445748Smckusick  */
50545748Smckusick boolean_t vm_map_lookup_entry(map, address, entry)
50645748Smckusick 	register vm_map_t	map;
50745748Smckusick 	register vm_offset_t	address;
50845748Smckusick 	vm_map_entry_t		*entry;		/* OUT */
50945748Smckusick {
51045748Smckusick 	register vm_map_entry_t		cur;
51145748Smckusick 	register vm_map_entry_t		last;
51245748Smckusick 
51345748Smckusick 	/*
51445748Smckusick 	 *	Start looking either from the head of the
51545748Smckusick 	 *	list, or from the hint.
51645748Smckusick 	 */
51745748Smckusick 
51845748Smckusick 	simple_lock(&map->hint_lock);
51945748Smckusick 	cur = map->hint;
52045748Smckusick 	simple_unlock(&map->hint_lock);
52145748Smckusick 
52245748Smckusick 	if (cur == &map->header)
52345748Smckusick 		cur = cur->next;
52445748Smckusick 
52545748Smckusick 	if (address >= cur->start) {
52645748Smckusick 	    	/*
52745748Smckusick 		 *	Go from hint to end of list.
52845748Smckusick 		 *
52945748Smckusick 		 *	But first, make a quick check to see if
53045748Smckusick 		 *	we are already looking at the entry we
53145748Smckusick 		 *	want (which is usually the case).
53245748Smckusick 		 *	Note also that we don't need to save the hint
53345748Smckusick 		 *	here... it is the same hint (unless we are
53445748Smckusick 		 *	at the header, in which case the hint didn't
53545748Smckusick 		 *	buy us anything anyway).
53645748Smckusick 		 */
53745748Smckusick 		last = &map->header;
53845748Smckusick 		if ((cur != last) && (cur->end > address)) {
53945748Smckusick 			*entry = cur;
54045748Smckusick 			return(TRUE);
54145748Smckusick 		}
54245748Smckusick 	}
54345748Smckusick 	else {
54445748Smckusick 	    	/*
54545748Smckusick 		 *	Go from start to hint, *inclusively*
54645748Smckusick 		 */
54745748Smckusick 		last = cur->next;
54845748Smckusick 		cur = map->header.next;
54945748Smckusick 	}
55045748Smckusick 
55145748Smckusick 	/*
55245748Smckusick 	 *	Search linearly
55345748Smckusick 	 */
55445748Smckusick 
55545748Smckusick 	while (cur != last) {
55645748Smckusick 		if (cur->end > address) {
55745748Smckusick 			if (address >= cur->start) {
55845748Smckusick 			    	/*
55945748Smckusick 				 *	Save this lookup for future
56045748Smckusick 				 *	hints, and return
56145748Smckusick 				 */
56245748Smckusick 
56345748Smckusick 				*entry = cur;
56445748Smckusick 				SAVE_HINT(map, cur);
56545748Smckusick 				return(TRUE);
56645748Smckusick 			}
56745748Smckusick 			break;
56845748Smckusick 		}
56945748Smckusick 		cur = cur->next;
57045748Smckusick 	}
57145748Smckusick 	*entry = cur->prev;
57245748Smckusick 	SAVE_HINT(map, *entry);
57345748Smckusick 	return(FALSE);
57445748Smckusick }
57545748Smckusick 
57645748Smckusick /*
57752610Storek  * Find sufficient space for `length' bytes in the given map, starting at
57852610Storek  * `start'.  The map must be locked.  Returns 0 on success, 1 on no space.
57952610Storek  */
58052610Storek int
58152610Storek vm_map_findspace(map, start, length, addr)
58252610Storek 	register vm_map_t map;
58352610Storek 	register vm_offset_t start;
58452610Storek 	vm_size_t length;
58552610Storek 	vm_offset_t *addr;
58652610Storek {
58752610Storek 	register vm_map_entry_t entry, next;
58852610Storek 	register vm_offset_t end;
58952610Storek 
59052610Storek 	if (start < map->min_offset)
59152610Storek 		start = map->min_offset;
59252610Storek 	if (start > map->max_offset)
59352610Storek 		return (1);
59452610Storek 
59552610Storek 	/*
59652610Storek 	 * Look for the first possible address; if there's already
59752610Storek 	 * something at this address, we have to start after it.
59852610Storek 	 */
59952610Storek 	if (start == map->min_offset) {
60052610Storek 		if ((entry = map->first_free) != &map->header)
60152610Storek 			start = entry->end;
60252610Storek 	} else {
60352610Storek 		vm_map_entry_t tmp;
60452610Storek 		if (vm_map_lookup_entry(map, start, &tmp))
60552610Storek 			start = tmp->end;
60652610Storek 		entry = tmp;
60752610Storek 	}
60852610Storek 
60952610Storek 	/*
61052610Storek 	 * Look through the rest of the map, trying to fit a new region in
61152610Storek 	 * the gap between existing regions, or after the very last region.
61252610Storek 	 */
61352610Storek 	for (;; start = (entry = next)->end) {
61452610Storek 		/*
61552610Storek 		 * Find the end of the proposed new region.  Be sure we didn't
61652610Storek 		 * go beyond the end of the map, or wrap around the address;
61752610Storek 		 * if so, we lose.  Otherwise, if this is the last entry, or
61852610Storek 		 * if the proposed new region fits before the next entry, we
61952610Storek 		 * win.
62052610Storek 		 */
62152610Storek 		end = start + length;
62252610Storek 		if (end > map->max_offset || end < start)
62352610Storek 			return (1);
62452610Storek 		next = entry->next;
62552610Storek 		if (next == &map->header || next->start >= end)
62652610Storek 			break;
62752610Storek 	}
62852610Storek 	SAVE_HINT(map, entry);
62952610Storek 	*addr = start;
63052610Storek 	return (0);
63152610Storek }
63252610Storek 
63352610Storek /*
63445748Smckusick  *	vm_map_find finds an unallocated region in the target address
63545748Smckusick  *	map with the given length.  The search is defined to be
63645748Smckusick  *	first-fit from the specified address; the region found is
63745748Smckusick  *	returned in the same parameter.
63845748Smckusick  *
63945748Smckusick  */
640*53357Sbostic int
64145748Smckusick vm_map_find(map, object, offset, addr, length, find_space)
64245748Smckusick 	vm_map_t	map;
64345748Smckusick 	vm_object_t	object;
64445748Smckusick 	vm_offset_t	offset;
64545748Smckusick 	vm_offset_t	*addr;		/* IN/OUT */
64645748Smckusick 	vm_size_t	length;
64745748Smckusick 	boolean_t	find_space;
64845748Smckusick {
64945748Smckusick 	register vm_offset_t	start;
65045748Smckusick 	int			result;
65145748Smckusick 
65245748Smckusick 	start = *addr;
65345748Smckusick 	vm_map_lock(map);
65445748Smckusick 	if (find_space) {
65552610Storek 		if (vm_map_findspace(map, start, length, addr)) {
65645748Smckusick 			vm_map_unlock(map);
65745748Smckusick 			return (KERN_NO_SPACE);
65845748Smckusick 		}
65952610Storek 		start = *addr;
66045748Smckusick 	}
66145748Smckusick 	result = vm_map_insert(map, object, offset, start, start + length);
66245748Smckusick 	vm_map_unlock(map);
66352610Storek 	return (result);
66445748Smckusick }
66545748Smckusick 
66645748Smckusick /*
66745748Smckusick  *	vm_map_simplify_entry:	[ internal use only ]
66845748Smckusick  *
66945748Smckusick  *	Simplify the given map entry by:
67045748Smckusick  *		removing extra sharing maps
67145748Smckusick  *		[XXX maybe later] merging with a neighbor
67245748Smckusick  */
67345748Smckusick void vm_map_simplify_entry(map, entry)
67445748Smckusick 	vm_map_t	map;
67545748Smckusick 	vm_map_entry_t	entry;
67645748Smckusick {
67745748Smckusick #ifdef	lint
67845748Smckusick 	map++;
67945748Smckusick #endif	lint
68045748Smckusick 
68145748Smckusick 	/*
68245748Smckusick 	 *	If this entry corresponds to a sharing map, then
68345748Smckusick 	 *	see if we can remove the level of indirection.
68445748Smckusick 	 *	If it's not a sharing map, then it points to
68545748Smckusick 	 *	a VM object, so see if we can merge with either
68645748Smckusick 	 *	of our neighbors.
68745748Smckusick 	 */
68845748Smckusick 
68945748Smckusick 	if (entry->is_sub_map)
69045748Smckusick 		return;
69145748Smckusick 	if (entry->is_a_map) {
69245748Smckusick #if	0
69345748Smckusick 		vm_map_t	my_share_map;
69445748Smckusick 		int		count;
69545748Smckusick 
69645748Smckusick 		my_share_map = entry->object.share_map;
69745748Smckusick 		simple_lock(&my_share_map->ref_lock);
69845748Smckusick 		count = my_share_map->ref_count;
69945748Smckusick 		simple_unlock(&my_share_map->ref_lock);
70045748Smckusick 
70145748Smckusick 		if (count == 1) {
70245748Smckusick 			/* Can move the region from
70345748Smckusick 			 * entry->start to entry->end (+ entry->offset)
70445748Smckusick 			 * in my_share_map into place of entry.
70545748Smckusick 			 * Later.
70645748Smckusick 			 */
70745748Smckusick 		}
70845748Smckusick #endif	0
70945748Smckusick 	}
71045748Smckusick 	else {
71145748Smckusick 		/*
71245748Smckusick 		 *	Try to merge with our neighbors.
71345748Smckusick 		 *
71445748Smckusick 		 *	Conditions for merge are:
71545748Smckusick 		 *
71645748Smckusick 		 *	1.  entries are adjacent.
71745748Smckusick 		 *	2.  both entries point to objects
71845748Smckusick 		 *	    with null pagers.
71945748Smckusick 		 *
72045748Smckusick 		 * 	If a merge is possible, we replace the two
72145748Smckusick 		 *	entries with a single entry, then merge
72245748Smckusick 		 *	the two objects into a single object.
72345748Smckusick 		 *
72445748Smckusick 		 *	Now, all that is left to do is write the
72545748Smckusick 		 *	code!
72645748Smckusick 		 */
72745748Smckusick 	}
72845748Smckusick }
72945748Smckusick 
73045748Smckusick /*
73145748Smckusick  *	vm_map_clip_start:	[ internal use only ]
73245748Smckusick  *
73345748Smckusick  *	Asserts that the given entry begins at or after
73445748Smckusick  *	the specified address; if necessary,
73545748Smckusick  *	it splits the entry into two.
73645748Smckusick  */
73745748Smckusick #define vm_map_clip_start(map, entry, startaddr) \
73845748Smckusick { \
73945748Smckusick 	if (startaddr > entry->start) \
74045748Smckusick 		_vm_map_clip_start(map, entry, startaddr); \
74145748Smckusick }
74245748Smckusick 
74345748Smckusick /*
74445748Smckusick  *	This routine is called only when it is known that
74545748Smckusick  *	the entry must be split.
74645748Smckusick  */
747*53357Sbostic static void _vm_map_clip_start(map, entry, start)
74845748Smckusick 	register vm_map_t	map;
74945748Smckusick 	register vm_map_entry_t	entry;
75045748Smckusick 	register vm_offset_t	start;
75145748Smckusick {
75245748Smckusick 	register vm_map_entry_t	new_entry;
75345748Smckusick 
75445748Smckusick 	/*
75545748Smckusick 	 *	See if we can simplify this entry first
75645748Smckusick 	 */
75745748Smckusick 
75845748Smckusick 	vm_map_simplify_entry(map, entry);
75945748Smckusick 
76045748Smckusick 	/*
76145748Smckusick 	 *	Split off the front portion --
76245748Smckusick 	 *	note that we must insert the new
76345748Smckusick 	 *	entry BEFORE this one, so that
76445748Smckusick 	 *	this entry has the specified starting
76545748Smckusick 	 *	address.
76645748Smckusick 	 */
76745748Smckusick 
76845748Smckusick 	new_entry = vm_map_entry_create(map);
76945748Smckusick 	*new_entry = *entry;
77045748Smckusick 
77145748Smckusick 	new_entry->end = start;
77245748Smckusick 	entry->offset += (start - entry->start);
77345748Smckusick 	entry->start = start;
77445748Smckusick 
77545748Smckusick 	vm_map_entry_link(map, entry->prev, new_entry);
77645748Smckusick 
77745748Smckusick 	if (entry->is_a_map || entry->is_sub_map)
77845748Smckusick 	 	vm_map_reference(new_entry->object.share_map);
77945748Smckusick 	else
78045748Smckusick 		vm_object_reference(new_entry->object.vm_object);
78145748Smckusick }
78245748Smckusick 
78345748Smckusick /*
78445748Smckusick  *	vm_map_clip_end:	[ internal use only ]
78545748Smckusick  *
78645748Smckusick  *	Asserts that the given entry ends at or before
78745748Smckusick  *	the specified address; if necessary,
78845748Smckusick  *	it splits the entry into two.
78945748Smckusick  */
79045748Smckusick 
79145748Smckusick #define vm_map_clip_end(map, entry, endaddr) \
79245748Smckusick { \
79345748Smckusick 	if (endaddr < entry->end) \
79445748Smckusick 		_vm_map_clip_end(map, entry, endaddr); \
79545748Smckusick }
79645748Smckusick 
79745748Smckusick /*
79845748Smckusick  *	This routine is called only when it is known that
79945748Smckusick  *	the entry must be split.
80045748Smckusick  */
801*53357Sbostic static void _vm_map_clip_end(map, entry, end)
80245748Smckusick 	register vm_map_t	map;
80345748Smckusick 	register vm_map_entry_t	entry;
80445748Smckusick 	register vm_offset_t	end;
80545748Smckusick {
80645748Smckusick 	register vm_map_entry_t	new_entry;
80745748Smckusick 
80845748Smckusick 	/*
80945748Smckusick 	 *	Create a new entry and insert it
81045748Smckusick 	 *	AFTER the specified entry
81145748Smckusick 	 */
81245748Smckusick 
81345748Smckusick 	new_entry = vm_map_entry_create(map);
81445748Smckusick 	*new_entry = *entry;
81545748Smckusick 
81645748Smckusick 	new_entry->start = entry->end = end;
81745748Smckusick 	new_entry->offset += (end - entry->start);
81845748Smckusick 
81945748Smckusick 	vm_map_entry_link(map, entry, new_entry);
82045748Smckusick 
82145748Smckusick 	if (entry->is_a_map || entry->is_sub_map)
82245748Smckusick 	 	vm_map_reference(new_entry->object.share_map);
82345748Smckusick 	else
82445748Smckusick 		vm_object_reference(new_entry->object.vm_object);
82545748Smckusick }
82645748Smckusick 
82745748Smckusick /*
82845748Smckusick  *	VM_MAP_RANGE_CHECK:	[ internal use only ]
82945748Smckusick  *
83045748Smckusick  *	Asserts that the starting and ending region
83145748Smckusick  *	addresses fall within the valid range of the map.
83245748Smckusick  */
83345748Smckusick #define	VM_MAP_RANGE_CHECK(map, start, end)		\
83445748Smckusick 		{					\
83545748Smckusick 		if (start < vm_map_min(map))		\
83645748Smckusick 			start = vm_map_min(map);	\
83745748Smckusick 		if (end > vm_map_max(map))		\
83845748Smckusick 			end = vm_map_max(map);		\
83945748Smckusick 		if (start > end)			\
84045748Smckusick 			start = end;			\
84145748Smckusick 		}
84245748Smckusick 
84345748Smckusick /*
84445748Smckusick  *	vm_map_submap:		[ kernel use only ]
84545748Smckusick  *
84645748Smckusick  *	Mark the given range as handled by a subordinate map.
84745748Smckusick  *
84845748Smckusick  *	This range must have been created with vm_map_find,
84945748Smckusick  *	and no other operations may have been performed on this
85045748Smckusick  *	range prior to calling vm_map_submap.
85145748Smckusick  *
85245748Smckusick  *	Only a limited number of operations can be performed
85345748Smckusick  *	within this rage after calling vm_map_submap:
85445748Smckusick  *		vm_fault
85545748Smckusick  *	[Don't try vm_map_copy!]
85645748Smckusick  *
85745748Smckusick  *	To remove a submapping, one must first remove the
85845748Smckusick  *	range from the superior map, and then destroy the
85945748Smckusick  *	submap (if desired).  [Better yet, don't try it.]
86045748Smckusick  */
861*53357Sbostic int
86245748Smckusick vm_map_submap(map, start, end, submap)
86345748Smckusick 	register vm_map_t	map;
86445748Smckusick 	register vm_offset_t	start;
86545748Smckusick 	register vm_offset_t	end;
86645748Smckusick 	vm_map_t		submap;
86745748Smckusick {
86845748Smckusick 	vm_map_entry_t		entry;
86945748Smckusick 	register int		result = KERN_INVALID_ARGUMENT;
87045748Smckusick 
87145748Smckusick 	vm_map_lock(map);
87245748Smckusick 
87345748Smckusick 	VM_MAP_RANGE_CHECK(map, start, end);
87445748Smckusick 
87545748Smckusick 	if (vm_map_lookup_entry(map, start, &entry)) {
87645748Smckusick 		vm_map_clip_start(map, entry, start);
87745748Smckusick 	}
87845748Smckusick 	 else
87945748Smckusick 		entry = entry->next;
88045748Smckusick 
88145748Smckusick 	vm_map_clip_end(map, entry, end);
88245748Smckusick 
88345748Smckusick 	if ((entry->start == start) && (entry->end == end) &&
88445748Smckusick 	    (!entry->is_a_map) &&
88548383Skarels 	    (entry->object.vm_object == NULL) &&
88645748Smckusick 	    (!entry->copy_on_write)) {
88745748Smckusick 		entry->is_a_map = FALSE;
88845748Smckusick 		entry->is_sub_map = TRUE;
88945748Smckusick 		vm_map_reference(entry->object.sub_map = submap);
89045748Smckusick 		result = KERN_SUCCESS;
89145748Smckusick 	}
89245748Smckusick 	vm_map_unlock(map);
89345748Smckusick 
89445748Smckusick 	return(result);
89545748Smckusick }
89645748Smckusick 
89745748Smckusick /*
89845748Smckusick  *	vm_map_protect:
89945748Smckusick  *
90045748Smckusick  *	Sets the protection of the specified address
90145748Smckusick  *	region in the target map.  If "set_max" is
90245748Smckusick  *	specified, the maximum protection is to be set;
90345748Smckusick  *	otherwise, only the current protection is affected.
90445748Smckusick  */
905*53357Sbostic int
90645748Smckusick vm_map_protect(map, start, end, new_prot, set_max)
90745748Smckusick 	register vm_map_t	map;
90845748Smckusick 	register vm_offset_t	start;
90945748Smckusick 	register vm_offset_t	end;
91045748Smckusick 	register vm_prot_t	new_prot;
91145748Smckusick 	register boolean_t	set_max;
91245748Smckusick {
91345748Smckusick 	register vm_map_entry_t		current;
91445748Smckusick 	vm_map_entry_t			entry;
91545748Smckusick 
91645748Smckusick 	vm_map_lock(map);
91745748Smckusick 
91845748Smckusick 	VM_MAP_RANGE_CHECK(map, start, end);
91945748Smckusick 
92045748Smckusick 	if (vm_map_lookup_entry(map, start, &entry)) {
92145748Smckusick 		vm_map_clip_start(map, entry, start);
92245748Smckusick 	}
92345748Smckusick 	 else
92445748Smckusick 		entry = entry->next;
92545748Smckusick 
92645748Smckusick 	/*
92745748Smckusick 	 *	Make a first pass to check for protection
92845748Smckusick 	 *	violations.
92945748Smckusick 	 */
93045748Smckusick 
93145748Smckusick 	current = entry;
93245748Smckusick 	while ((current != &map->header) && (current->start < end)) {
93345748Smckusick 		if (current->is_sub_map)
93445748Smckusick 			return(KERN_INVALID_ARGUMENT);
93545748Smckusick 		if ((new_prot & current->max_protection) != new_prot) {
93645748Smckusick 			vm_map_unlock(map);
93745748Smckusick 			return(KERN_PROTECTION_FAILURE);
93845748Smckusick 		}
93945748Smckusick 
94045748Smckusick 		current = current->next;
94145748Smckusick 	}
94245748Smckusick 
94345748Smckusick 	/*
94445748Smckusick 	 *	Go back and fix up protections.
94545748Smckusick 	 *	[Note that clipping is not necessary the second time.]
94645748Smckusick 	 */
94745748Smckusick 
94845748Smckusick 	current = entry;
94945748Smckusick 
95045748Smckusick 	while ((current != &map->header) && (current->start < end)) {
95145748Smckusick 		vm_prot_t	old_prot;
95245748Smckusick 
95345748Smckusick 		vm_map_clip_end(map, current, end);
95445748Smckusick 
95545748Smckusick 		old_prot = current->protection;
95645748Smckusick 		if (set_max)
95745748Smckusick 			current->protection =
95845748Smckusick 				(current->max_protection = new_prot) &
95945748Smckusick 					old_prot;
96045748Smckusick 		else
96145748Smckusick 			current->protection = new_prot;
96245748Smckusick 
96345748Smckusick 		/*
96445748Smckusick 		 *	Update physical map if necessary.
96545748Smckusick 		 *	Worry about copy-on-write here -- CHECK THIS XXX
96645748Smckusick 		 */
96745748Smckusick 
96845748Smckusick 		if (current->protection != old_prot) {
96945748Smckusick 
97045748Smckusick #define MASK(entry)	((entry)->copy_on_write ? ~VM_PROT_WRITE : \
97145748Smckusick 							VM_PROT_ALL)
97245748Smckusick #define	max(a,b)	((a) > (b) ? (a) : (b))
97345748Smckusick 
97445748Smckusick 			if (current->is_a_map) {
97545748Smckusick 				vm_map_entry_t	share_entry;
97645748Smckusick 				vm_offset_t	share_end;
97745748Smckusick 
97845748Smckusick 				vm_map_lock(current->object.share_map);
97945748Smckusick 				(void) vm_map_lookup_entry(
98045748Smckusick 						current->object.share_map,
98145748Smckusick 						current->offset,
98245748Smckusick 						&share_entry);
98345748Smckusick 				share_end = current->offset +
98445748Smckusick 					(current->end - current->start);
98545748Smckusick 				while ((share_entry !=
98645748Smckusick 					&current->object.share_map->header) &&
98745748Smckusick 					(share_entry->start < share_end)) {
98845748Smckusick 
98945748Smckusick 					pmap_protect(map->pmap,
99045748Smckusick 						(max(share_entry->start,
99145748Smckusick 							current->offset) -
99245748Smckusick 							current->offset +
99345748Smckusick 							current->start),
99445748Smckusick 						min(share_entry->end,
99545748Smckusick 							share_end) -
99645748Smckusick 						current->offset +
99745748Smckusick 						current->start,
99845748Smckusick 						current->protection &
99945748Smckusick 							MASK(share_entry));
100045748Smckusick 
100145748Smckusick 					share_entry = share_entry->next;
100245748Smckusick 				}
100345748Smckusick 				vm_map_unlock(current->object.share_map);
100445748Smckusick 			}
100545748Smckusick 			else
100645748Smckusick 			 	pmap_protect(map->pmap, current->start,
100745748Smckusick 					current->end,
100845748Smckusick 					current->protection & MASK(entry));
100945748Smckusick #undef	max
101045748Smckusick #undef	MASK
101145748Smckusick 		}
101245748Smckusick 		current = current->next;
101345748Smckusick 	}
101445748Smckusick 
101545748Smckusick 	vm_map_unlock(map);
101645748Smckusick 	return(KERN_SUCCESS);
101745748Smckusick }
101845748Smckusick 
101945748Smckusick /*
102045748Smckusick  *	vm_map_inherit:
102145748Smckusick  *
102245748Smckusick  *	Sets the inheritance of the specified address
102345748Smckusick  *	range in the target map.  Inheritance
102445748Smckusick  *	affects how the map will be shared with
102545748Smckusick  *	child maps at the time of vm_map_fork.
102645748Smckusick  */
1027*53357Sbostic int
102845748Smckusick vm_map_inherit(map, start, end, new_inheritance)
102945748Smckusick 	register vm_map_t	map;
103045748Smckusick 	register vm_offset_t	start;
103145748Smckusick 	register vm_offset_t	end;
103245748Smckusick 	register vm_inherit_t	new_inheritance;
103345748Smckusick {
103445748Smckusick 	register vm_map_entry_t	entry;
103545748Smckusick 	vm_map_entry_t	temp_entry;
103645748Smckusick 
103745748Smckusick 	switch (new_inheritance) {
103845748Smckusick 	case VM_INHERIT_NONE:
103945748Smckusick 	case VM_INHERIT_COPY:
104045748Smckusick 	case VM_INHERIT_SHARE:
104145748Smckusick 		break;
104245748Smckusick 	default:
104345748Smckusick 		return(KERN_INVALID_ARGUMENT);
104445748Smckusick 	}
104545748Smckusick 
104645748Smckusick 	vm_map_lock(map);
104745748Smckusick 
104845748Smckusick 	VM_MAP_RANGE_CHECK(map, start, end);
104945748Smckusick 
105045748Smckusick 	if (vm_map_lookup_entry(map, start, &temp_entry)) {
105145748Smckusick 		entry = temp_entry;
105245748Smckusick 		vm_map_clip_start(map, entry, start);
105345748Smckusick 	}
105445748Smckusick 	else
105545748Smckusick 		entry = temp_entry->next;
105645748Smckusick 
105745748Smckusick 	while ((entry != &map->header) && (entry->start < end)) {
105845748Smckusick 		vm_map_clip_end(map, entry, end);
105945748Smckusick 
106045748Smckusick 		entry->inheritance = new_inheritance;
106145748Smckusick 
106245748Smckusick 		entry = entry->next;
106345748Smckusick 	}
106445748Smckusick 
106545748Smckusick 	vm_map_unlock(map);
106645748Smckusick 	return(KERN_SUCCESS);
106745748Smckusick }
106845748Smckusick 
106945748Smckusick /*
107045748Smckusick  *	vm_map_pageable:
107145748Smckusick  *
107245748Smckusick  *	Sets the pageability of the specified address
107345748Smckusick  *	range in the target map.  Regions specified
107445748Smckusick  *	as not pageable require locked-down physical
107545748Smckusick  *	memory and physical page maps.
107645748Smckusick  *
107745748Smckusick  *	The map must not be locked, but a reference
107845748Smckusick  *	must remain to the map throughout the call.
107945748Smckusick  */
1080*53357Sbostic int
108145748Smckusick vm_map_pageable(map, start, end, new_pageable)
108245748Smckusick 	register vm_map_t	map;
108345748Smckusick 	register vm_offset_t	start;
108445748Smckusick 	register vm_offset_t	end;
108545748Smckusick 	register boolean_t	new_pageable;
108645748Smckusick {
108745748Smckusick 	register vm_map_entry_t	entry;
108845748Smckusick 	vm_map_entry_t		temp_entry;
108945748Smckusick 
109045748Smckusick 	vm_map_lock(map);
109145748Smckusick 
109245748Smckusick 	VM_MAP_RANGE_CHECK(map, start, end);
109345748Smckusick 
109445748Smckusick 	/*
109545748Smckusick 	 *	Only one pageability change may take place at one
109645748Smckusick 	 *	time, since vm_fault assumes it will be called
109745748Smckusick 	 *	only once for each wiring/unwiring.  Therefore, we
109845748Smckusick 	 *	have to make sure we're actually changing the pageability
109945748Smckusick 	 *	for the entire region.  We do so before making any changes.
110045748Smckusick 	 */
110145748Smckusick 
110245748Smckusick 	if (vm_map_lookup_entry(map, start, &temp_entry)) {
110345748Smckusick 		entry = temp_entry;
110445748Smckusick 		vm_map_clip_start(map, entry, start);
110545748Smckusick 	}
110645748Smckusick 	else
110745748Smckusick 		entry = temp_entry->next;
110845748Smckusick 	temp_entry = entry;
110945748Smckusick 
111045748Smckusick 	/*
111145748Smckusick 	 *	Actions are rather different for wiring and unwiring,
111245748Smckusick 	 *	so we have two separate cases.
111345748Smckusick 	 */
111445748Smckusick 
111545748Smckusick 	if (new_pageable) {
111645748Smckusick 
111745748Smckusick 		/*
111845748Smckusick 		 *	Unwiring.  First ensure that the range to be
111945748Smckusick 		 *	unwired is really wired down.
112045748Smckusick 		 */
112145748Smckusick 		while ((entry != &map->header) && (entry->start < end)) {
112245748Smckusick 
112345748Smckusick 		    if (entry->wired_count == 0) {
112445748Smckusick 			vm_map_unlock(map);
112545748Smckusick 			return(KERN_INVALID_ARGUMENT);
112645748Smckusick 		    }
112745748Smckusick 		    entry = entry->next;
112845748Smckusick 		}
112945748Smckusick 
113045748Smckusick 		/*
113145748Smckusick 		 *	Now decrement the wiring count for each region.
113245748Smckusick 		 *	If a region becomes completely unwired,
113345748Smckusick 		 *	unwire its physical pages and mappings.
113445748Smckusick 		 */
113545748Smckusick 		lock_set_recursive(&map->lock);
113645748Smckusick 
113745748Smckusick 		entry = temp_entry;
113845748Smckusick 		while ((entry != &map->header) && (entry->start < end)) {
113945748Smckusick 		    vm_map_clip_end(map, entry, end);
114045748Smckusick 
114145748Smckusick 		    entry->wired_count--;
114245748Smckusick 		    if (entry->wired_count == 0)
114345748Smckusick 			vm_fault_unwire(map, entry->start, entry->end);
114445748Smckusick 
114545748Smckusick 		    entry = entry->next;
114645748Smckusick 		}
114745748Smckusick 		lock_clear_recursive(&map->lock);
114845748Smckusick 	}
114945748Smckusick 
115045748Smckusick 	else {
115145748Smckusick 		/*
115245748Smckusick 		 *	Wiring.  We must do this in two passes:
115345748Smckusick 		 *
115445748Smckusick 		 *	1.  Holding the write lock, we increment the
115545748Smckusick 		 *	    wiring count.  For any area that is not already
115645748Smckusick 		 *	    wired, we create any shadow objects that need
115745748Smckusick 		 *	    to be created.
115845748Smckusick 		 *
115945748Smckusick 		 *	2.  We downgrade to a read lock, and call
116045748Smckusick 		 *	    vm_fault_wire to fault in the pages for any
116145748Smckusick 		 *	    newly wired area (wired_count is 1).
116245748Smckusick 		 *
116345748Smckusick 		 *	Downgrading to a read lock for vm_fault_wire avoids
116445748Smckusick 		 *	a possible deadlock with another thread that may have
116545748Smckusick 		 *	faulted on one of the pages to be wired (it would mark
116645748Smckusick 		 *	the page busy, blocking us, then in turn block on the
116745748Smckusick 		 *	map lock that we hold).  Because of problems in the
116845748Smckusick 		 *	recursive lock package, we cannot upgrade to a write
116945748Smckusick 		 *	lock in vm_map_lookup.  Thus, any actions that require
117045748Smckusick 		 *	the write lock must be done beforehand.  Because we
117145748Smckusick 		 *	keep the read lock on the map, the copy-on-write status
117245748Smckusick 		 *	of the entries we modify here cannot change.
117345748Smckusick 		 */
117445748Smckusick 
117545748Smckusick 		/*
117645748Smckusick 		 *	Pass 1.
117745748Smckusick 		 */
117845748Smckusick 		entry = temp_entry;
117945748Smckusick 		while ((entry != &map->header) && (entry->start < end)) {
118045748Smckusick 		    vm_map_clip_end(map, entry, end);
118145748Smckusick 
118245748Smckusick 		    entry->wired_count++;
118345748Smckusick 		    if (entry->wired_count == 1) {
118445748Smckusick 
118545748Smckusick 			/*
118645748Smckusick 			 *	Perform actions of vm_map_lookup that need
118745748Smckusick 			 *	the write lock on the map: create a shadow
118845748Smckusick 			 *	object for a copy-on-write region, or an
118945748Smckusick 			 *	object for a zero-fill region.
119045748Smckusick 			 *
119145748Smckusick 			 *	We don't have to do this for entries that
119245748Smckusick 			 *	point to sharing maps, because we won't hold
119345748Smckusick 			 *	the lock on the sharing map.
119445748Smckusick 			 */
119545748Smckusick 			if (!entry->is_a_map) {
119645748Smckusick 			    if (entry->needs_copy &&
119745748Smckusick 				((entry->protection & VM_PROT_WRITE) != 0)) {
119845748Smckusick 
119945748Smckusick 				vm_object_shadow(&entry->object.vm_object,
120045748Smckusick 						&entry->offset,
120145748Smckusick 						(vm_size_t)(entry->end
120245748Smckusick 							- entry->start));
120345748Smckusick 				entry->needs_copy = FALSE;
120445748Smckusick 			    }
120548383Skarels 			    else if (entry->object.vm_object == NULL) {
120645748Smckusick 				entry->object.vm_object =
120745748Smckusick 				    vm_object_allocate((vm_size_t)(entry->end
120845748Smckusick 				    			- entry->start));
120945748Smckusick 				entry->offset = (vm_offset_t)0;
121045748Smckusick 			    }
121145748Smckusick 			}
121245748Smckusick 		    }
121345748Smckusick 
121445748Smckusick 		    entry = entry->next;
121545748Smckusick 		}
121645748Smckusick 
121745748Smckusick 		/*
121845748Smckusick 		 *	Pass 2.
121945748Smckusick 		 */
122045748Smckusick 
122145748Smckusick 		/*
122245748Smckusick 		 * HACK HACK HACK HACK
122345748Smckusick 		 *
122445748Smckusick 		 * If we are wiring in the kernel map or a submap of it,
122545748Smckusick 		 * unlock the map to avoid deadlocks.  We trust that the
122645748Smckusick 		 * kernel threads are well-behaved, and therefore will
122745748Smckusick 		 * not do anything destructive to this region of the map
122845748Smckusick 		 * while we have it unlocked.  We cannot trust user threads
122945748Smckusick 		 * to do the same.
123045748Smckusick 		 *
123145748Smckusick 		 * HACK HACK HACK HACK
123245748Smckusick 		 */
123345748Smckusick 		if (vm_map_pmap(map) == kernel_pmap) {
123445748Smckusick 		    vm_map_unlock(map);		/* trust me ... */
123545748Smckusick 		}
123645748Smckusick 		else {
123745748Smckusick 		    lock_set_recursive(&map->lock);
123845748Smckusick 		    lock_write_to_read(&map->lock);
123945748Smckusick 		}
124045748Smckusick 
124145748Smckusick 		entry = temp_entry;
124245748Smckusick 		while (entry != &map->header && entry->start < end) {
124345748Smckusick 		    if (entry->wired_count == 1) {
124445748Smckusick 			vm_fault_wire(map, entry->start, entry->end);
124545748Smckusick 		    }
124645748Smckusick 		    entry = entry->next;
124745748Smckusick 		}
124845748Smckusick 
124945748Smckusick 		if (vm_map_pmap(map) == kernel_pmap) {
125045748Smckusick 		    vm_map_lock(map);
125145748Smckusick 		}
125245748Smckusick 		else {
125345748Smckusick 		    lock_clear_recursive(&map->lock);
125445748Smckusick 		}
125545748Smckusick 	}
125645748Smckusick 
125745748Smckusick 	vm_map_unlock(map);
125845748Smckusick 
125945748Smckusick 	return(KERN_SUCCESS);
126045748Smckusick }
126145748Smckusick 
126245748Smckusick /*
126345748Smckusick  *	vm_map_entry_unwire:	[ internal use only ]
126445748Smckusick  *
126545748Smckusick  *	Make the region specified by this entry pageable.
126645748Smckusick  *
126745748Smckusick  *	The map in question should be locked.
126845748Smckusick  *	[This is the reason for this routine's existence.]
126945748Smckusick  */
127045748Smckusick void vm_map_entry_unwire(map, entry)
127145748Smckusick 	vm_map_t		map;
127245748Smckusick 	register vm_map_entry_t	entry;
127345748Smckusick {
127445748Smckusick 	vm_fault_unwire(map, entry->start, entry->end);
127545748Smckusick 	entry->wired_count = 0;
127645748Smckusick }
127745748Smckusick 
127845748Smckusick /*
127945748Smckusick  *	vm_map_entry_delete:	[ internal use only ]
128045748Smckusick  *
128145748Smckusick  *	Deallocate the given entry from the target map.
128245748Smckusick  */
128345748Smckusick void vm_map_entry_delete(map, entry)
128445748Smckusick 	register vm_map_t	map;
128545748Smckusick 	register vm_map_entry_t	entry;
128645748Smckusick {
128745748Smckusick 	if (entry->wired_count != 0)
128845748Smckusick 		vm_map_entry_unwire(map, entry);
128945748Smckusick 
129045748Smckusick 	vm_map_entry_unlink(map, entry);
129145748Smckusick 	map->size -= entry->end - entry->start;
129245748Smckusick 
129345748Smckusick 	if (entry->is_a_map || entry->is_sub_map)
129445748Smckusick 		vm_map_deallocate(entry->object.share_map);
129545748Smckusick 	else
129645748Smckusick 	 	vm_object_deallocate(entry->object.vm_object);
129745748Smckusick 
129845748Smckusick 	vm_map_entry_dispose(map, entry);
129945748Smckusick }
130045748Smckusick 
130145748Smckusick /*
130245748Smckusick  *	vm_map_delete:	[ internal use only ]
130345748Smckusick  *
130445748Smckusick  *	Deallocates the given address range from the target
130545748Smckusick  *	map.
130645748Smckusick  *
130745748Smckusick  *	When called with a sharing map, removes pages from
130845748Smckusick  *	that region from all physical maps.
130945748Smckusick  */
1310*53357Sbostic int
131145748Smckusick vm_map_delete(map, start, end)
131245748Smckusick 	register vm_map_t	map;
131345748Smckusick 	vm_offset_t		start;
131445748Smckusick 	register vm_offset_t	end;
131545748Smckusick {
131645748Smckusick 	register vm_map_entry_t	entry;
131745748Smckusick 	vm_map_entry_t		first_entry;
131845748Smckusick 
131945748Smckusick 	/*
132045748Smckusick 	 *	Find the start of the region, and clip it
132145748Smckusick 	 */
132245748Smckusick 
132345748Smckusick 	if (!vm_map_lookup_entry(map, start, &first_entry))
132445748Smckusick 		entry = first_entry->next;
132545748Smckusick 	else {
132645748Smckusick 		entry = first_entry;
132745748Smckusick 		vm_map_clip_start(map, entry, start);
132845748Smckusick 
132945748Smckusick 		/*
133045748Smckusick 		 *	Fix the lookup hint now, rather than each
133145748Smckusick 		 *	time though the loop.
133245748Smckusick 		 */
133345748Smckusick 
133445748Smckusick 		SAVE_HINT(map, entry->prev);
133545748Smckusick 	}
133645748Smckusick 
133745748Smckusick 	/*
133845748Smckusick 	 *	Save the free space hint
133945748Smckusick 	 */
134045748Smckusick 
134145748Smckusick 	if (map->first_free->start >= start)
134245748Smckusick 		map->first_free = entry->prev;
134345748Smckusick 
134445748Smckusick 	/*
134545748Smckusick 	 *	Step through all entries in this region
134645748Smckusick 	 */
134745748Smckusick 
134845748Smckusick 	while ((entry != &map->header) && (entry->start < end)) {
134945748Smckusick 		vm_map_entry_t		next;
135045748Smckusick 		register vm_offset_t	s, e;
135145748Smckusick 		register vm_object_t	object;
135245748Smckusick 
135345748Smckusick 		vm_map_clip_end(map, entry, end);
135445748Smckusick 
135545748Smckusick 		next = entry->next;
135645748Smckusick 		s = entry->start;
135745748Smckusick 		e = entry->end;
135845748Smckusick 
135945748Smckusick 		/*
136045748Smckusick 		 *	Unwire before removing addresses from the pmap;
136145748Smckusick 		 *	otherwise, unwiring will put the entries back in
136245748Smckusick 		 *	the pmap.
136345748Smckusick 		 */
136445748Smckusick 
136545748Smckusick 		object = entry->object.vm_object;
136645748Smckusick 		if (entry->wired_count != 0)
136745748Smckusick 			vm_map_entry_unwire(map, entry);
136845748Smckusick 
136945748Smckusick 		/*
137045748Smckusick 		 *	If this is a sharing map, we must remove
137145748Smckusick 		 *	*all* references to this data, since we can't
137245748Smckusick 		 *	find all of the physical maps which are sharing
137345748Smckusick 		 *	it.
137445748Smckusick 		 */
137545748Smckusick 
137645748Smckusick 		if (object == kernel_object || object == kmem_object)
137745748Smckusick 			vm_object_page_remove(object, entry->offset,
137845748Smckusick 					entry->offset + (e - s));
137945748Smckusick 		else if (!map->is_main_map)
138045748Smckusick 			vm_object_pmap_remove(object,
138145748Smckusick 					 entry->offset,
138245748Smckusick 					 entry->offset + (e - s));
138345748Smckusick 		else
138445748Smckusick 			pmap_remove(map->pmap, s, e);
138545748Smckusick 
138645748Smckusick 		/*
138745748Smckusick 		 *	Delete the entry (which may delete the object)
138845748Smckusick 		 *	only after removing all pmap entries pointing
138945748Smckusick 		 *	to its pages.  (Otherwise, its page frames may
139045748Smckusick 		 *	be reallocated, and any modify bits will be
139145748Smckusick 		 *	set in the wrong object!)
139245748Smckusick 		 */
139345748Smckusick 
139445748Smckusick 		vm_map_entry_delete(map, entry);
139545748Smckusick 		entry = next;
139645748Smckusick 	}
139745748Smckusick 	return(KERN_SUCCESS);
139845748Smckusick }
139945748Smckusick 
140045748Smckusick /*
140145748Smckusick  *	vm_map_remove:
140245748Smckusick  *
140345748Smckusick  *	Remove the given address range from the target map.
140445748Smckusick  *	This is the exported form of vm_map_delete.
140545748Smckusick  */
1406*53357Sbostic int
140745748Smckusick vm_map_remove(map, start, end)
140845748Smckusick 	register vm_map_t	map;
140945748Smckusick 	register vm_offset_t	start;
141045748Smckusick 	register vm_offset_t	end;
141145748Smckusick {
141245748Smckusick 	register int		result;
141345748Smckusick 
141445748Smckusick 	vm_map_lock(map);
141545748Smckusick 	VM_MAP_RANGE_CHECK(map, start, end);
141645748Smckusick 	result = vm_map_delete(map, start, end);
141745748Smckusick 	vm_map_unlock(map);
141845748Smckusick 
141945748Smckusick 	return(result);
142045748Smckusick }
142145748Smckusick 
142245748Smckusick /*
142345748Smckusick  *	vm_map_check_protection:
142445748Smckusick  *
142545748Smckusick  *	Assert that the target map allows the specified
142645748Smckusick  *	privilege on the entire address region given.
142745748Smckusick  *	The entire region must be allocated.
142845748Smckusick  */
142945748Smckusick boolean_t vm_map_check_protection(map, start, end, protection)
143045748Smckusick 	register vm_map_t	map;
143145748Smckusick 	register vm_offset_t	start;
143245748Smckusick 	register vm_offset_t	end;
143345748Smckusick 	register vm_prot_t	protection;
143445748Smckusick {
143545748Smckusick 	register vm_map_entry_t	entry;
143645748Smckusick 	vm_map_entry_t		tmp_entry;
143745748Smckusick 
143845748Smckusick 	if (!vm_map_lookup_entry(map, start, &tmp_entry)) {
143945748Smckusick 		return(FALSE);
144045748Smckusick 	}
144145748Smckusick 
144245748Smckusick 	entry = tmp_entry;
144345748Smckusick 
144445748Smckusick 	while (start < end) {
144545748Smckusick 		if (entry == &map->header) {
144645748Smckusick 			return(FALSE);
144745748Smckusick 		}
144845748Smckusick 
144945748Smckusick 		/*
145045748Smckusick 		 *	No holes allowed!
145145748Smckusick 		 */
145245748Smckusick 
145345748Smckusick 		if (start < entry->start) {
145445748Smckusick 			return(FALSE);
145545748Smckusick 		}
145645748Smckusick 
145745748Smckusick 		/*
145845748Smckusick 		 * Check protection associated with entry.
145945748Smckusick 		 */
146045748Smckusick 
146145748Smckusick 		if ((entry->protection & protection) != protection) {
146245748Smckusick 			return(FALSE);
146345748Smckusick 		}
146445748Smckusick 
146545748Smckusick 		/* go to next entry */
146645748Smckusick 
146745748Smckusick 		start = entry->end;
146845748Smckusick 		entry = entry->next;
146945748Smckusick 	}
147045748Smckusick 	return(TRUE);
147145748Smckusick }
147245748Smckusick 
147345748Smckusick /*
147445748Smckusick  *	vm_map_copy_entry:
147545748Smckusick  *
147645748Smckusick  *	Copies the contents of the source entry to the destination
147745748Smckusick  *	entry.  The entries *must* be aligned properly.
147845748Smckusick  */
147945748Smckusick void vm_map_copy_entry(src_map, dst_map, src_entry, dst_entry)
148045748Smckusick 	vm_map_t		src_map, dst_map;
148145748Smckusick 	register vm_map_entry_t	src_entry, dst_entry;
148245748Smckusick {
148345748Smckusick 	vm_object_t	temp_object;
148445748Smckusick 
148545748Smckusick 	if (src_entry->is_sub_map || dst_entry->is_sub_map)
148645748Smckusick 		return;
148745748Smckusick 
148848383Skarels 	if (dst_entry->object.vm_object != NULL &&
148950919Smckusick 	    (dst_entry->object.vm_object->flags & OBJ_INTERNAL) == 0)
149045748Smckusick 		printf("vm_map_copy_entry: copying over permanent data!\n");
149145748Smckusick 
149245748Smckusick 	/*
149345748Smckusick 	 *	If our destination map was wired down,
149445748Smckusick 	 *	unwire it now.
149545748Smckusick 	 */
149645748Smckusick 
149745748Smckusick 	if (dst_entry->wired_count != 0)
149845748Smckusick 		vm_map_entry_unwire(dst_map, dst_entry);
149945748Smckusick 
150045748Smckusick 	/*
150145748Smckusick 	 *	If we're dealing with a sharing map, we
150245748Smckusick 	 *	must remove the destination pages from
150345748Smckusick 	 *	all maps (since we cannot know which maps
150445748Smckusick 	 *	this sharing map belongs in).
150545748Smckusick 	 */
150645748Smckusick 
150745748Smckusick 	if (dst_map->is_main_map)
150845748Smckusick 		pmap_remove(dst_map->pmap, dst_entry->start, dst_entry->end);
150945748Smckusick 	else
151045748Smckusick 		vm_object_pmap_remove(dst_entry->object.vm_object,
151145748Smckusick 			dst_entry->offset,
151245748Smckusick 			dst_entry->offset +
151345748Smckusick 				(dst_entry->end - dst_entry->start));
151445748Smckusick 
151545748Smckusick 	if (src_entry->wired_count == 0) {
151645748Smckusick 
151745748Smckusick 		boolean_t	src_needs_copy;
151845748Smckusick 
151945748Smckusick 		/*
152045748Smckusick 		 *	If the source entry is marked needs_copy,
152145748Smckusick 		 *	it is already write-protected.
152245748Smckusick 		 */
152345748Smckusick 		if (!src_entry->needs_copy) {
152445748Smckusick 
152545748Smckusick 			boolean_t	su;
152645748Smckusick 
152745748Smckusick 			/*
152845748Smckusick 			 *	If the source entry has only one mapping,
152945748Smckusick 			 *	we can just protect the virtual address
153045748Smckusick 			 *	range.
153145748Smckusick 			 */
153245748Smckusick 			if (!(su = src_map->is_main_map)) {
153345748Smckusick 				simple_lock(&src_map->ref_lock);
153445748Smckusick 				su = (src_map->ref_count == 1);
153545748Smckusick 				simple_unlock(&src_map->ref_lock);
153645748Smckusick 			}
153745748Smckusick 
153845748Smckusick 			if (su) {
153945748Smckusick 				pmap_protect(src_map->pmap,
154045748Smckusick 					src_entry->start,
154145748Smckusick 					src_entry->end,
154245748Smckusick 					src_entry->protection & ~VM_PROT_WRITE);
154345748Smckusick 			}
154445748Smckusick 			else {
154545748Smckusick 				vm_object_pmap_copy(src_entry->object.vm_object,
154645748Smckusick 					src_entry->offset,
154745748Smckusick 					src_entry->offset + (src_entry->end
154845748Smckusick 							    -src_entry->start));
154945748Smckusick 			}
155045748Smckusick 		}
155145748Smckusick 
155245748Smckusick 		/*
155345748Smckusick 		 *	Make a copy of the object.
155445748Smckusick 		 */
155545748Smckusick 		temp_object = dst_entry->object.vm_object;
155645748Smckusick 		vm_object_copy(src_entry->object.vm_object,
155745748Smckusick 				src_entry->offset,
155845748Smckusick 				(vm_size_t)(src_entry->end -
155945748Smckusick 					    src_entry->start),
156045748Smckusick 				&dst_entry->object.vm_object,
156145748Smckusick 				&dst_entry->offset,
156245748Smckusick 				&src_needs_copy);
156345748Smckusick 		/*
156445748Smckusick 		 *	If we didn't get a copy-object now, mark the
156545748Smckusick 		 *	source map entry so that a shadow will be created
156645748Smckusick 		 *	to hold its changed pages.
156745748Smckusick 		 */
156845748Smckusick 		if (src_needs_copy)
156945748Smckusick 			src_entry->needs_copy = TRUE;
157045748Smckusick 
157145748Smckusick 		/*
157245748Smckusick 		 *	The destination always needs to have a shadow
157345748Smckusick 		 *	created.
157445748Smckusick 		 */
157545748Smckusick 		dst_entry->needs_copy = TRUE;
157645748Smckusick 
157745748Smckusick 		/*
157845748Smckusick 		 *	Mark the entries copy-on-write, so that write-enabling
157945748Smckusick 		 *	the entry won't make copy-on-write pages writable.
158045748Smckusick 		 */
158145748Smckusick 		src_entry->copy_on_write = TRUE;
158245748Smckusick 		dst_entry->copy_on_write = TRUE;
158345748Smckusick 		/*
158445748Smckusick 		 *	Get rid of the old object.
158545748Smckusick 		 */
158645748Smckusick 		vm_object_deallocate(temp_object);
158745748Smckusick 
158845748Smckusick 		pmap_copy(dst_map->pmap, src_map->pmap, dst_entry->start,
158945748Smckusick 			dst_entry->end - dst_entry->start, src_entry->start);
159045748Smckusick 	}
159145748Smckusick 	else {
159245748Smckusick 		/*
159345748Smckusick 		 *	Of course, wired down pages can't be set copy-on-write.
159445748Smckusick 		 *	Cause wired pages to be copied into the new
159545748Smckusick 		 *	map by simulating faults (the new pages are
159645748Smckusick 		 *	pageable)
159745748Smckusick 		 */
159845748Smckusick 		vm_fault_copy_entry(dst_map, src_map, dst_entry, src_entry);
159945748Smckusick 	}
160045748Smckusick }
160145748Smckusick 
160245748Smckusick /*
160345748Smckusick  *	vm_map_copy:
160445748Smckusick  *
160545748Smckusick  *	Perform a virtual memory copy from the source
160645748Smckusick  *	address map/range to the destination map/range.
160745748Smckusick  *
160845748Smckusick  *	If src_destroy or dst_alloc is requested,
160945748Smckusick  *	the source and destination regions should be
161045748Smckusick  *	disjoint, not only in the top-level map, but
161145748Smckusick  *	in the sharing maps as well.  [The best way
161245748Smckusick  *	to guarantee this is to use a new intermediate
161345748Smckusick  *	map to make copies.  This also reduces map
161445748Smckusick  *	fragmentation.]
161545748Smckusick  */
1616*53357Sbostic int
161745748Smckusick vm_map_copy(dst_map, src_map,
161845748Smckusick 			  dst_addr, len, src_addr,
161945748Smckusick 			  dst_alloc, src_destroy)
162045748Smckusick 	vm_map_t	dst_map;
162145748Smckusick 	vm_map_t	src_map;
162245748Smckusick 	vm_offset_t	dst_addr;
162345748Smckusick 	vm_size_t	len;
162445748Smckusick 	vm_offset_t	src_addr;
162545748Smckusick 	boolean_t	dst_alloc;
162645748Smckusick 	boolean_t	src_destroy;
162745748Smckusick {
162845748Smckusick 	register
162945748Smckusick 	vm_map_entry_t	src_entry;
163045748Smckusick 	register
163145748Smckusick 	vm_map_entry_t	dst_entry;
163245748Smckusick 	vm_map_entry_t	tmp_entry;
163345748Smckusick 	vm_offset_t	src_start;
163445748Smckusick 	vm_offset_t	src_end;
163545748Smckusick 	vm_offset_t	dst_start;
163645748Smckusick 	vm_offset_t	dst_end;
163745748Smckusick 	vm_offset_t	src_clip;
163845748Smckusick 	vm_offset_t	dst_clip;
163945748Smckusick 	int		result;
164045748Smckusick 	boolean_t	old_src_destroy;
164145748Smckusick 
164245748Smckusick 	/*
164345748Smckusick 	 *	XXX While we figure out why src_destroy screws up,
164445748Smckusick 	 *	we'll do it by explicitly vm_map_delete'ing at the end.
164545748Smckusick 	 */
164645748Smckusick 
164745748Smckusick 	old_src_destroy = src_destroy;
164845748Smckusick 	src_destroy = FALSE;
164945748Smckusick 
165045748Smckusick 	/*
165145748Smckusick 	 *	Compute start and end of region in both maps
165245748Smckusick 	 */
165345748Smckusick 
165445748Smckusick 	src_start = src_addr;
165545748Smckusick 	src_end = src_start + len;
165645748Smckusick 	dst_start = dst_addr;
165745748Smckusick 	dst_end = dst_start + len;
165845748Smckusick 
165945748Smckusick 	/*
166045748Smckusick 	 *	Check that the region can exist in both source
166145748Smckusick 	 *	and destination.
166245748Smckusick 	 */
166345748Smckusick 
166445748Smckusick 	if ((dst_end < dst_start) || (src_end < src_start))
166545748Smckusick 		return(KERN_NO_SPACE);
166645748Smckusick 
166745748Smckusick 	/*
166845748Smckusick 	 *	Lock the maps in question -- we avoid deadlock
166945748Smckusick 	 *	by ordering lock acquisition by map value
167045748Smckusick 	 */
167145748Smckusick 
167245748Smckusick 	if (src_map == dst_map) {
167345748Smckusick 		vm_map_lock(src_map);
167445748Smckusick 	}
167545748Smckusick 	else if ((int) src_map < (int) dst_map) {
167645748Smckusick 	 	vm_map_lock(src_map);
167745748Smckusick 		vm_map_lock(dst_map);
167845748Smckusick 	} else {
167945748Smckusick 		vm_map_lock(dst_map);
168045748Smckusick 	 	vm_map_lock(src_map);
168145748Smckusick 	}
168245748Smckusick 
168345748Smckusick 	result = KERN_SUCCESS;
168445748Smckusick 
168545748Smckusick 	/*
168645748Smckusick 	 *	Check protections... source must be completely readable and
168745748Smckusick 	 *	destination must be completely writable.  [Note that if we're
168845748Smckusick 	 *	allocating the destination region, we don't have to worry
168945748Smckusick 	 *	about protection, but instead about whether the region
169045748Smckusick 	 *	exists.]
169145748Smckusick 	 */
169245748Smckusick 
169345748Smckusick 	if (src_map->is_main_map && dst_map->is_main_map) {
169445748Smckusick 		if (!vm_map_check_protection(src_map, src_start, src_end,
169545748Smckusick 					VM_PROT_READ)) {
169645748Smckusick 			result = KERN_PROTECTION_FAILURE;
169745748Smckusick 			goto Return;
169845748Smckusick 		}
169945748Smckusick 
170045748Smckusick 		if (dst_alloc) {
170145748Smckusick 			/* XXX Consider making this a vm_map_find instead */
170248383Skarels 			if ((result = vm_map_insert(dst_map, NULL,
170345748Smckusick 					(vm_offset_t) 0, dst_start, dst_end)) != KERN_SUCCESS)
170445748Smckusick 				goto Return;
170545748Smckusick 		}
170645748Smckusick 		else if (!vm_map_check_protection(dst_map, dst_start, dst_end,
170745748Smckusick 					VM_PROT_WRITE)) {
170845748Smckusick 			result = KERN_PROTECTION_FAILURE;
170945748Smckusick 			goto Return;
171045748Smckusick 		}
171145748Smckusick 	}
171245748Smckusick 
171345748Smckusick 	/*
171445748Smckusick 	 *	Find the start entries and clip.
171545748Smckusick 	 *
171645748Smckusick 	 *	Note that checking protection asserts that the
171745748Smckusick 	 *	lookup cannot fail.
171845748Smckusick 	 *
171945748Smckusick 	 *	Also note that we wait to do the second lookup
172045748Smckusick 	 *	until we have done the first clip, as the clip
172145748Smckusick 	 *	may affect which entry we get!
172245748Smckusick 	 */
172345748Smckusick 
172445748Smckusick 	(void) vm_map_lookup_entry(src_map, src_addr, &tmp_entry);
172545748Smckusick 	src_entry = tmp_entry;
172645748Smckusick 	vm_map_clip_start(src_map, src_entry, src_start);
172745748Smckusick 
172845748Smckusick 	(void) vm_map_lookup_entry(dst_map, dst_addr, &tmp_entry);
172945748Smckusick 	dst_entry = tmp_entry;
173045748Smckusick 	vm_map_clip_start(dst_map, dst_entry, dst_start);
173145748Smckusick 
173245748Smckusick 	/*
173345748Smckusick 	 *	If both source and destination entries are the same,
173445748Smckusick 	 *	retry the first lookup, as it may have changed.
173545748Smckusick 	 */
173645748Smckusick 
173745748Smckusick 	if (src_entry == dst_entry) {
173845748Smckusick 		(void) vm_map_lookup_entry(src_map, src_addr, &tmp_entry);
173945748Smckusick 		src_entry = tmp_entry;
174045748Smckusick 	}
174145748Smckusick 
174245748Smckusick 	/*
174345748Smckusick 	 *	If source and destination entries are still the same,
174445748Smckusick 	 *	a null copy is being performed.
174545748Smckusick 	 */
174645748Smckusick 
174745748Smckusick 	if (src_entry == dst_entry)
174845748Smckusick 		goto Return;
174945748Smckusick 
175045748Smckusick 	/*
175145748Smckusick 	 *	Go through entries until we get to the end of the
175245748Smckusick 	 *	region.
175345748Smckusick 	 */
175445748Smckusick 
175545748Smckusick 	while (src_start < src_end) {
175645748Smckusick 		/*
175745748Smckusick 		 *	Clip the entries to the endpoint of the entire region.
175845748Smckusick 		 */
175945748Smckusick 
176045748Smckusick 		vm_map_clip_end(src_map, src_entry, src_end);
176145748Smckusick 		vm_map_clip_end(dst_map, dst_entry, dst_end);
176245748Smckusick 
176345748Smckusick 		/*
176445748Smckusick 		 *	Clip each entry to the endpoint of the other entry.
176545748Smckusick 		 */
176645748Smckusick 
176745748Smckusick 		src_clip = src_entry->start + (dst_entry->end - dst_entry->start);
176845748Smckusick 		vm_map_clip_end(src_map, src_entry, src_clip);
176945748Smckusick 
177045748Smckusick 		dst_clip = dst_entry->start + (src_entry->end - src_entry->start);
177145748Smckusick 		vm_map_clip_end(dst_map, dst_entry, dst_clip);
177245748Smckusick 
177345748Smckusick 		/*
177445748Smckusick 		 *	Both entries now match in size and relative endpoints.
177545748Smckusick 		 *
177645748Smckusick 		 *	If both entries refer to a VM object, we can
177745748Smckusick 		 *	deal with them now.
177845748Smckusick 		 */
177945748Smckusick 
178045748Smckusick 		if (!src_entry->is_a_map && !dst_entry->is_a_map) {
178145748Smckusick 			vm_map_copy_entry(src_map, dst_map, src_entry,
178245748Smckusick 						dst_entry);
178345748Smckusick 		}
178445748Smckusick 		else {
178545748Smckusick 			register vm_map_t	new_dst_map;
178645748Smckusick 			vm_offset_t		new_dst_start;
178745748Smckusick 			vm_size_t		new_size;
178845748Smckusick 			vm_map_t		new_src_map;
178945748Smckusick 			vm_offset_t		new_src_start;
179045748Smckusick 
179145748Smckusick 			/*
179245748Smckusick 			 *	We have to follow at least one sharing map.
179345748Smckusick 			 */
179445748Smckusick 
179545748Smckusick 			new_size = (dst_entry->end - dst_entry->start);
179645748Smckusick 
179745748Smckusick 			if (src_entry->is_a_map) {
179845748Smckusick 				new_src_map = src_entry->object.share_map;
179945748Smckusick 				new_src_start = src_entry->offset;
180045748Smckusick 			}
180145748Smckusick 			else {
180245748Smckusick 			 	new_src_map = src_map;
180345748Smckusick 				new_src_start = src_entry->start;
180445748Smckusick 				lock_set_recursive(&src_map->lock);
180545748Smckusick 			}
180645748Smckusick 
180745748Smckusick 			if (dst_entry->is_a_map) {
180845748Smckusick 			    	vm_offset_t	new_dst_end;
180945748Smckusick 
181045748Smckusick 				new_dst_map = dst_entry->object.share_map;
181145748Smckusick 				new_dst_start = dst_entry->offset;
181245748Smckusick 
181345748Smckusick 				/*
181445748Smckusick 				 *	Since the destination sharing entries
181545748Smckusick 				 *	will be merely deallocated, we can
181645748Smckusick 				 *	do that now, and replace the region
181745748Smckusick 				 *	with a null object.  [This prevents
181845748Smckusick 				 *	splitting the source map to match
181945748Smckusick 				 *	the form of the destination map.]
182045748Smckusick 				 *	Note that we can only do so if the
182145748Smckusick 				 *	source and destination do not overlap.
182245748Smckusick 				 */
182345748Smckusick 
182445748Smckusick 				new_dst_end = new_dst_start + new_size;
182545748Smckusick 
182645748Smckusick 				if (new_dst_map != new_src_map) {
182745748Smckusick 					vm_map_lock(new_dst_map);
182845748Smckusick 					(void) vm_map_delete(new_dst_map,
182945748Smckusick 							new_dst_start,
183045748Smckusick 							new_dst_end);
183145748Smckusick 					(void) vm_map_insert(new_dst_map,
183248383Skarels 							NULL,
183345748Smckusick 							(vm_offset_t) 0,
183445748Smckusick 							new_dst_start,
183545748Smckusick 							new_dst_end);
183645748Smckusick 					vm_map_unlock(new_dst_map);
183745748Smckusick 				}
183845748Smckusick 			}
183945748Smckusick 			else {
184045748Smckusick 			 	new_dst_map = dst_map;
184145748Smckusick 				new_dst_start = dst_entry->start;
184245748Smckusick 				lock_set_recursive(&dst_map->lock);
184345748Smckusick 			}
184445748Smckusick 
184545748Smckusick 			/*
184645748Smckusick 			 *	Recursively copy the sharing map.
184745748Smckusick 			 */
184845748Smckusick 
184945748Smckusick 			(void) vm_map_copy(new_dst_map, new_src_map,
185045748Smckusick 				new_dst_start, new_size, new_src_start,
185145748Smckusick 				FALSE, FALSE);
185245748Smckusick 
185345748Smckusick 			if (dst_map == new_dst_map)
185445748Smckusick 				lock_clear_recursive(&dst_map->lock);
185545748Smckusick 			if (src_map == new_src_map)
185645748Smckusick 				lock_clear_recursive(&src_map->lock);
185745748Smckusick 		}
185845748Smckusick 
185945748Smckusick 		/*
186045748Smckusick 		 *	Update variables for next pass through the loop.
186145748Smckusick 		 */
186245748Smckusick 
186345748Smckusick 		src_start = src_entry->end;
186445748Smckusick 		src_entry = src_entry->next;
186545748Smckusick 		dst_start = dst_entry->end;
186645748Smckusick 		dst_entry = dst_entry->next;
186745748Smckusick 
186845748Smckusick 		/*
186945748Smckusick 		 *	If the source is to be destroyed, here is the
187045748Smckusick 		 *	place to do it.
187145748Smckusick 		 */
187245748Smckusick 
187345748Smckusick 		if (src_destroy && src_map->is_main_map &&
187445748Smckusick 						dst_map->is_main_map)
187545748Smckusick 			vm_map_entry_delete(src_map, src_entry->prev);
187645748Smckusick 	}
187745748Smckusick 
187845748Smckusick 	/*
187945748Smckusick 	 *	Update the physical maps as appropriate
188045748Smckusick 	 */
188145748Smckusick 
188245748Smckusick 	if (src_map->is_main_map && dst_map->is_main_map) {
188345748Smckusick 		if (src_destroy)
188445748Smckusick 			pmap_remove(src_map->pmap, src_addr, src_addr + len);
188545748Smckusick 	}
188645748Smckusick 
188745748Smckusick 	/*
188845748Smckusick 	 *	Unlock the maps
188945748Smckusick 	 */
189045748Smckusick 
189145748Smckusick 	Return: ;
189245748Smckusick 
189345748Smckusick 	if (old_src_destroy)
189445748Smckusick 		vm_map_delete(src_map, src_addr, src_addr + len);
189545748Smckusick 
189645748Smckusick 	vm_map_unlock(src_map);
189745748Smckusick 	if (src_map != dst_map)
189845748Smckusick 		vm_map_unlock(dst_map);
189945748Smckusick 
190045748Smckusick 	return(result);
190145748Smckusick }
190245748Smckusick 
190345748Smckusick /*
190448383Skarels  * vmspace_fork:
190548383Skarels  * Create a new process vmspace structure and vm_map
190648383Skarels  * based on those of an existing process.  The new map
190748383Skarels  * is based on the old map, according to the inheritance
190848383Skarels  * values on the regions in that map.
190945748Smckusick  *
191048383Skarels  * The source map must not be locked.
191145748Smckusick  */
191248383Skarels struct vmspace *
191348383Skarels vmspace_fork(vm1)
191448383Skarels 	register struct vmspace *vm1;
191545748Smckusick {
191648383Skarels 	register struct vmspace *vm2;
191748383Skarels 	vm_map_t	old_map = &vm1->vm_map;
191845748Smckusick 	vm_map_t	new_map;
191945748Smckusick 	vm_map_entry_t	old_entry;
192045748Smckusick 	vm_map_entry_t	new_entry;
192145748Smckusick 	pmap_t		new_pmap;
192245748Smckusick 
192345748Smckusick 	vm_map_lock(old_map);
192445748Smckusick 
192548383Skarels 	vm2 = vmspace_alloc(old_map->min_offset, old_map->max_offset,
192648383Skarels 	    old_map->entries_pageable);
192748383Skarels 	bcopy(&vm1->vm_startcopy, &vm2->vm_startcopy,
192848383Skarels 	    (caddr_t) (vm1 + 1) - (caddr_t) &vm1->vm_startcopy);
192948383Skarels 	new_pmap = &vm2->vm_pmap;		/* XXX */
193048383Skarels 	new_map = &vm2->vm_map;			/* XXX */
193145748Smckusick 
193245748Smckusick 	old_entry = old_map->header.next;
193345748Smckusick 
193445748Smckusick 	while (old_entry != &old_map->header) {
193545748Smckusick 		if (old_entry->is_sub_map)
193645748Smckusick 			panic("vm_map_fork: encountered a submap");
193745748Smckusick 
193845748Smckusick 		switch (old_entry->inheritance) {
193945748Smckusick 		case VM_INHERIT_NONE:
194045748Smckusick 			break;
194145748Smckusick 
194245748Smckusick 		case VM_INHERIT_SHARE:
194345748Smckusick 			/*
194445748Smckusick 			 *	If we don't already have a sharing map:
194545748Smckusick 			 */
194645748Smckusick 
194745748Smckusick 			if (!old_entry->is_a_map) {
194845748Smckusick 			 	vm_map_t	new_share_map;
194945748Smckusick 				vm_map_entry_t	new_share_entry;
195045748Smckusick 
195145748Smckusick 				/*
195245748Smckusick 				 *	Create a new sharing map
195345748Smckusick 				 */
195445748Smckusick 
195548383Skarels 				new_share_map = vm_map_create(NULL,
195645748Smckusick 							old_entry->start,
195745748Smckusick 							old_entry->end,
195845748Smckusick 							TRUE);
195945748Smckusick 				new_share_map->is_main_map = FALSE;
196045748Smckusick 
196145748Smckusick 				/*
196245748Smckusick 				 *	Create the only sharing entry from the
196345748Smckusick 				 *	old task map entry.
196445748Smckusick 				 */
196545748Smckusick 
196645748Smckusick 				new_share_entry =
196745748Smckusick 					vm_map_entry_create(new_share_map);
196845748Smckusick 				*new_share_entry = *old_entry;
196945748Smckusick 
197045748Smckusick 				/*
197145748Smckusick 				 *	Insert the entry into the new sharing
197245748Smckusick 				 *	map
197345748Smckusick 				 */
197445748Smckusick 
197545748Smckusick 				vm_map_entry_link(new_share_map,
197645748Smckusick 						new_share_map->header.prev,
197745748Smckusick 						new_share_entry);
197845748Smckusick 
197945748Smckusick 				/*
198045748Smckusick 				 *	Fix up the task map entry to refer
198145748Smckusick 				 *	to the sharing map now.
198245748Smckusick 				 */
198345748Smckusick 
198445748Smckusick 				old_entry->is_a_map = TRUE;
198545748Smckusick 				old_entry->object.share_map = new_share_map;
198645748Smckusick 				old_entry->offset = old_entry->start;
198745748Smckusick 			}
198845748Smckusick 
198945748Smckusick 			/*
199045748Smckusick 			 *	Clone the entry, referencing the sharing map.
199145748Smckusick 			 */
199245748Smckusick 
199345748Smckusick 			new_entry = vm_map_entry_create(new_map);
199445748Smckusick 			*new_entry = *old_entry;
199545748Smckusick 			vm_map_reference(new_entry->object.share_map);
199645748Smckusick 
199745748Smckusick 			/*
199845748Smckusick 			 *	Insert the entry into the new map -- we
199945748Smckusick 			 *	know we're inserting at the end of the new
200045748Smckusick 			 *	map.
200145748Smckusick 			 */
200245748Smckusick 
200345748Smckusick 			vm_map_entry_link(new_map, new_map->header.prev,
200445748Smckusick 						new_entry);
200545748Smckusick 
200645748Smckusick 			/*
200745748Smckusick 			 *	Update the physical map
200845748Smckusick 			 */
200945748Smckusick 
201045748Smckusick 			pmap_copy(new_map->pmap, old_map->pmap,
201145748Smckusick 				new_entry->start,
201245748Smckusick 				(old_entry->end - old_entry->start),
201345748Smckusick 				old_entry->start);
201445748Smckusick 			break;
201545748Smckusick 
201645748Smckusick 		case VM_INHERIT_COPY:
201745748Smckusick 			/*
201845748Smckusick 			 *	Clone the entry and link into the map.
201945748Smckusick 			 */
202045748Smckusick 
202145748Smckusick 			new_entry = vm_map_entry_create(new_map);
202245748Smckusick 			*new_entry = *old_entry;
202345748Smckusick 			new_entry->wired_count = 0;
202448383Skarels 			new_entry->object.vm_object = NULL;
202545748Smckusick 			new_entry->is_a_map = FALSE;
202645748Smckusick 			vm_map_entry_link(new_map, new_map->header.prev,
202745748Smckusick 							new_entry);
202845748Smckusick 			if (old_entry->is_a_map) {
202945748Smckusick 				int	check;
203045748Smckusick 
203145748Smckusick 				check = vm_map_copy(new_map,
203245748Smckusick 						old_entry->object.share_map,
203345748Smckusick 						new_entry->start,
203445748Smckusick 						(vm_size_t)(new_entry->end -
203545748Smckusick 							new_entry->start),
203645748Smckusick 						old_entry->offset,
203745748Smckusick 						FALSE, FALSE);
203845748Smckusick 				if (check != KERN_SUCCESS)
203945748Smckusick 					printf("vm_map_fork: copy in share_map region failed\n");
204045748Smckusick 			}
204145748Smckusick 			else {
204245748Smckusick 				vm_map_copy_entry(old_map, new_map, old_entry,
204345748Smckusick 						new_entry);
204445748Smckusick 			}
204545748Smckusick 			break;
204645748Smckusick 		}
204745748Smckusick 		old_entry = old_entry->next;
204845748Smckusick 	}
204945748Smckusick 
205045748Smckusick 	new_map->size = old_map->size;
205145748Smckusick 	vm_map_unlock(old_map);
205245748Smckusick 
205348383Skarels 	return(vm2);
205445748Smckusick }
205545748Smckusick 
205645748Smckusick /*
205745748Smckusick  *	vm_map_lookup:
205845748Smckusick  *
205945748Smckusick  *	Finds the VM object, offset, and
206045748Smckusick  *	protection for a given virtual address in the
206145748Smckusick  *	specified map, assuming a page fault of the
206245748Smckusick  *	type specified.
206345748Smckusick  *
206445748Smckusick  *	Leaves the map in question locked for read; return
206545748Smckusick  *	values are guaranteed until a vm_map_lookup_done
206645748Smckusick  *	call is performed.  Note that the map argument
206745748Smckusick  *	is in/out; the returned map must be used in
206845748Smckusick  *	the call to vm_map_lookup_done.
206945748Smckusick  *
207045748Smckusick  *	A handle (out_entry) is returned for use in
207145748Smckusick  *	vm_map_lookup_done, to make that fast.
207245748Smckusick  *
207345748Smckusick  *	If a lookup is requested with "write protection"
207445748Smckusick  *	specified, the map may be changed to perform virtual
207545748Smckusick  *	copying operations, although the data referenced will
207645748Smckusick  *	remain the same.
207745748Smckusick  */
2078*53357Sbostic int
207945748Smckusick vm_map_lookup(var_map, vaddr, fault_type, out_entry,
208045748Smckusick 				object, offset, out_prot, wired, single_use)
208145748Smckusick 	vm_map_t		*var_map;	/* IN/OUT */
208245748Smckusick 	register vm_offset_t	vaddr;
208345748Smckusick 	register vm_prot_t	fault_type;
208445748Smckusick 
208545748Smckusick 	vm_map_entry_t		*out_entry;	/* OUT */
208645748Smckusick 	vm_object_t		*object;	/* OUT */
208745748Smckusick 	vm_offset_t		*offset;	/* OUT */
208845748Smckusick 	vm_prot_t		*out_prot;	/* OUT */
208945748Smckusick 	boolean_t		*wired;		/* OUT */
209045748Smckusick 	boolean_t		*single_use;	/* OUT */
209145748Smckusick {
209245748Smckusick 	vm_map_t			share_map;
209345748Smckusick 	vm_offset_t			share_offset;
209445748Smckusick 	register vm_map_entry_t		entry;
209545748Smckusick 	register vm_map_t		map = *var_map;
209645748Smckusick 	register vm_prot_t		prot;
209745748Smckusick 	register boolean_t		su;
209845748Smckusick 
209945748Smckusick 	RetryLookup: ;
210045748Smckusick 
210145748Smckusick 	/*
210245748Smckusick 	 *	Lookup the faulting address.
210345748Smckusick 	 */
210445748Smckusick 
210545748Smckusick 	vm_map_lock_read(map);
210645748Smckusick 
210745748Smckusick #define	RETURN(why) \
210845748Smckusick 		{ \
210945748Smckusick 		vm_map_unlock_read(map); \
211045748Smckusick 		return(why); \
211145748Smckusick 		}
211245748Smckusick 
211345748Smckusick 	/*
211445748Smckusick 	 *	If the map has an interesting hint, try it before calling
211545748Smckusick 	 *	full blown lookup routine.
211645748Smckusick 	 */
211745748Smckusick 
211845748Smckusick 	simple_lock(&map->hint_lock);
211945748Smckusick 	entry = map->hint;
212045748Smckusick 	simple_unlock(&map->hint_lock);
212145748Smckusick 
212245748Smckusick 	*out_entry = entry;
212345748Smckusick 
212445748Smckusick 	if ((entry == &map->header) ||
212545748Smckusick 	    (vaddr < entry->start) || (vaddr >= entry->end)) {
212645748Smckusick 		vm_map_entry_t	tmp_entry;
212745748Smckusick 
212845748Smckusick 		/*
212945748Smckusick 		 *	Entry was either not a valid hint, or the vaddr
213045748Smckusick 		 *	was not contained in the entry, so do a full lookup.
213145748Smckusick 		 */
213245748Smckusick 		if (!vm_map_lookup_entry(map, vaddr, &tmp_entry))
213345748Smckusick 			RETURN(KERN_INVALID_ADDRESS);
213445748Smckusick 
213545748Smckusick 		entry = tmp_entry;
213645748Smckusick 		*out_entry = entry;
213745748Smckusick 	}
213845748Smckusick 
213945748Smckusick 	/*
214045748Smckusick 	 *	Handle submaps.
214145748Smckusick 	 */
214245748Smckusick 
214345748Smckusick 	if (entry->is_sub_map) {
214445748Smckusick 		vm_map_t	old_map = map;
214545748Smckusick 
214645748Smckusick 		*var_map = map = entry->object.sub_map;
214745748Smckusick 		vm_map_unlock_read(old_map);
214845748Smckusick 		goto RetryLookup;
214945748Smckusick 	}
215045748Smckusick 
215145748Smckusick 	/*
215245748Smckusick 	 *	Check whether this task is allowed to have
215345748Smckusick 	 *	this page.
215445748Smckusick 	 */
215545748Smckusick 
215645748Smckusick 	prot = entry->protection;
215745748Smckusick 	if ((fault_type & (prot)) != fault_type)
215845748Smckusick 		RETURN(KERN_PROTECTION_FAILURE);
215945748Smckusick 
216045748Smckusick 	/*
216145748Smckusick 	 *	If this page is not pageable, we have to get
216245748Smckusick 	 *	it for all possible accesses.
216345748Smckusick 	 */
216445748Smckusick 
216545748Smckusick 	if (*wired = (entry->wired_count != 0))
216645748Smckusick 		prot = fault_type = entry->protection;
216745748Smckusick 
216845748Smckusick 	/*
216945748Smckusick 	 *	If we don't already have a VM object, track
217045748Smckusick 	 *	it down.
217145748Smckusick 	 */
217245748Smckusick 
217345748Smckusick 	if (su = !entry->is_a_map) {
217445748Smckusick 	 	share_map = map;
217545748Smckusick 		share_offset = vaddr;
217645748Smckusick 	}
217745748Smckusick 	else {
217845748Smckusick 		vm_map_entry_t	share_entry;
217945748Smckusick 
218045748Smckusick 		/*
218145748Smckusick 		 *	Compute the sharing map, and offset into it.
218245748Smckusick 		 */
218345748Smckusick 
218445748Smckusick 		share_map = entry->object.share_map;
218545748Smckusick 		share_offset = (vaddr - entry->start) + entry->offset;
218645748Smckusick 
218745748Smckusick 		/*
218845748Smckusick 		 *	Look for the backing store object and offset
218945748Smckusick 		 */
219045748Smckusick 
219145748Smckusick 		vm_map_lock_read(share_map);
219245748Smckusick 
219345748Smckusick 		if (!vm_map_lookup_entry(share_map, share_offset,
219445748Smckusick 					&share_entry)) {
219545748Smckusick 			vm_map_unlock_read(share_map);
219645748Smckusick 			RETURN(KERN_INVALID_ADDRESS);
219745748Smckusick 		}
219845748Smckusick 		entry = share_entry;
219945748Smckusick 	}
220045748Smckusick 
220145748Smckusick 	/*
220245748Smckusick 	 *	If the entry was copy-on-write, we either ...
220345748Smckusick 	 */
220445748Smckusick 
220545748Smckusick 	if (entry->needs_copy) {
220645748Smckusick 	    	/*
220745748Smckusick 		 *	If we want to write the page, we may as well
220845748Smckusick 		 *	handle that now since we've got the sharing
220945748Smckusick 		 *	map locked.
221045748Smckusick 		 *
221145748Smckusick 		 *	If we don't need to write the page, we just
221245748Smckusick 		 *	demote the permissions allowed.
221345748Smckusick 		 */
221445748Smckusick 
221545748Smckusick 		if (fault_type & VM_PROT_WRITE) {
221645748Smckusick 			/*
221745748Smckusick 			 *	Make a new object, and place it in the
221845748Smckusick 			 *	object chain.  Note that no new references
221945748Smckusick 			 *	have appeared -- one just moved from the
222045748Smckusick 			 *	share map to the new object.
222145748Smckusick 			 */
222245748Smckusick 
222345748Smckusick 			if (lock_read_to_write(&share_map->lock)) {
222445748Smckusick 				if (share_map != map)
222545748Smckusick 					vm_map_unlock_read(map);
222645748Smckusick 				goto RetryLookup;
222745748Smckusick 			}
222845748Smckusick 
222945748Smckusick 			vm_object_shadow(
223045748Smckusick 				&entry->object.vm_object,
223145748Smckusick 				&entry->offset,
223245748Smckusick 				(vm_size_t) (entry->end - entry->start));
223345748Smckusick 
223445748Smckusick 			entry->needs_copy = FALSE;
223545748Smckusick 
223645748Smckusick 			lock_write_to_read(&share_map->lock);
223745748Smckusick 		}
223845748Smckusick 		else {
223945748Smckusick 			/*
224045748Smckusick 			 *	We're attempting to read a copy-on-write
224145748Smckusick 			 *	page -- don't allow writes.
224245748Smckusick 			 */
224345748Smckusick 
224445748Smckusick 			prot &= (~VM_PROT_WRITE);
224545748Smckusick 		}
224645748Smckusick 	}
224745748Smckusick 
224845748Smckusick 	/*
224945748Smckusick 	 *	Create an object if necessary.
225045748Smckusick 	 */
225148383Skarels 	if (entry->object.vm_object == NULL) {
225245748Smckusick 
225345748Smckusick 		if (lock_read_to_write(&share_map->lock)) {
225445748Smckusick 			if (share_map != map)
225545748Smckusick 				vm_map_unlock_read(map);
225645748Smckusick 			goto RetryLookup;
225745748Smckusick 		}
225845748Smckusick 
225945748Smckusick 		entry->object.vm_object = vm_object_allocate(
226045748Smckusick 					(vm_size_t)(entry->end - entry->start));
226145748Smckusick 		entry->offset = 0;
226245748Smckusick 		lock_write_to_read(&share_map->lock);
226345748Smckusick 	}
226445748Smckusick 
226545748Smckusick 	/*
226645748Smckusick 	 *	Return the object/offset from this entry.  If the entry
226745748Smckusick 	 *	was copy-on-write or empty, it has been fixed up.
226845748Smckusick 	 */
226945748Smckusick 
227045748Smckusick 	*offset = (share_offset - entry->start) + entry->offset;
227145748Smckusick 	*object = entry->object.vm_object;
227245748Smckusick 
227345748Smckusick 	/*
227445748Smckusick 	 *	Return whether this is the only map sharing this data.
227545748Smckusick 	 */
227645748Smckusick 
227745748Smckusick 	if (!su) {
227845748Smckusick 		simple_lock(&share_map->ref_lock);
227945748Smckusick 		su = (share_map->ref_count == 1);
228045748Smckusick 		simple_unlock(&share_map->ref_lock);
228145748Smckusick 	}
228245748Smckusick 
228345748Smckusick 	*out_prot = prot;
228445748Smckusick 	*single_use = su;
228545748Smckusick 
228645748Smckusick 	return(KERN_SUCCESS);
228745748Smckusick 
228845748Smckusick #undef	RETURN
228945748Smckusick }
229045748Smckusick 
229145748Smckusick /*
229245748Smckusick  *	vm_map_lookup_done:
229345748Smckusick  *
229445748Smckusick  *	Releases locks acquired by a vm_map_lookup
229545748Smckusick  *	(according to the handle returned by that lookup).
229645748Smckusick  */
229745748Smckusick 
229845748Smckusick void vm_map_lookup_done(map, entry)
229945748Smckusick 	register vm_map_t	map;
230045748Smckusick 	vm_map_entry_t		entry;
230145748Smckusick {
230245748Smckusick 	/*
230345748Smckusick 	 *	If this entry references a map, unlock it first.
230445748Smckusick 	 */
230545748Smckusick 
230645748Smckusick 	if (entry->is_a_map)
230745748Smckusick 		vm_map_unlock_read(entry->object.share_map);
230845748Smckusick 
230945748Smckusick 	/*
231045748Smckusick 	 *	Unlock the main-level map
231145748Smckusick 	 */
231245748Smckusick 
231345748Smckusick 	vm_map_unlock_read(map);
231445748Smckusick }
231545748Smckusick 
231645748Smckusick /*
231745748Smckusick  *	Routine:	vm_map_simplify
231845748Smckusick  *	Purpose:
231945748Smckusick  *		Attempt to simplify the map representation in
232045748Smckusick  *		the vicinity of the given starting address.
232145748Smckusick  *	Note:
232245748Smckusick  *		This routine is intended primarily to keep the
232345748Smckusick  *		kernel maps more compact -- they generally don't
232445748Smckusick  *		benefit from the "expand a map entry" technology
232545748Smckusick  *		at allocation time because the adjacent entry
232645748Smckusick  *		is often wired down.
232745748Smckusick  */
232845748Smckusick void vm_map_simplify(map, start)
232945748Smckusick 	vm_map_t	map;
233045748Smckusick 	vm_offset_t	start;
233145748Smckusick {
233245748Smckusick 	vm_map_entry_t	this_entry;
233345748Smckusick 	vm_map_entry_t	prev_entry;
233445748Smckusick 
233545748Smckusick 	vm_map_lock(map);
233645748Smckusick 	if (
233745748Smckusick 		(vm_map_lookup_entry(map, start, &this_entry)) &&
233845748Smckusick 		((prev_entry = this_entry->prev) != &map->header) &&
233945748Smckusick 
234045748Smckusick 		(prev_entry->end == start) &&
234145748Smckusick 		(map->is_main_map) &&
234245748Smckusick 
234345748Smckusick 		(prev_entry->is_a_map == FALSE) &&
234445748Smckusick 		(prev_entry->is_sub_map == FALSE) &&
234545748Smckusick 
234645748Smckusick 		(this_entry->is_a_map == FALSE) &&
234745748Smckusick 		(this_entry->is_sub_map == FALSE) &&
234845748Smckusick 
234945748Smckusick 		(prev_entry->inheritance == this_entry->inheritance) &&
235045748Smckusick 		(prev_entry->protection == this_entry->protection) &&
235145748Smckusick 		(prev_entry->max_protection == this_entry->max_protection) &&
235245748Smckusick 		(prev_entry->wired_count == this_entry->wired_count) &&
235345748Smckusick 
235445748Smckusick 		(prev_entry->copy_on_write == this_entry->copy_on_write) &&
235545748Smckusick 		(prev_entry->needs_copy == this_entry->needs_copy) &&
235645748Smckusick 
235745748Smckusick 		(prev_entry->object.vm_object == this_entry->object.vm_object) &&
235845748Smckusick 		((prev_entry->offset + (prev_entry->end - prev_entry->start))
235945748Smckusick 		     == this_entry->offset)
236045748Smckusick 	) {
236145748Smckusick 		if (map->first_free == this_entry)
236245748Smckusick 			map->first_free = prev_entry;
236345748Smckusick 
236445748Smckusick 		SAVE_HINT(map, prev_entry);
236545748Smckusick 		vm_map_entry_unlink(map, this_entry);
236645748Smckusick 		prev_entry->end = this_entry->end;
236745748Smckusick 	 	vm_object_deallocate(this_entry->object.vm_object);
236845748Smckusick 		vm_map_entry_dispose(map, this_entry);
236945748Smckusick 	}
237045748Smckusick 	vm_map_unlock(map);
237145748Smckusick }
237245748Smckusick 
237345748Smckusick /*
237445748Smckusick  *	vm_map_print:	[ debug ]
237545748Smckusick  */
237645748Smckusick void vm_map_print(map, full)
237745748Smckusick 	register vm_map_t	map;
237845748Smckusick 	boolean_t		full;
237945748Smckusick {
238045748Smckusick 	register vm_map_entry_t	entry;
238145748Smckusick 	extern int indent;
238245748Smckusick 
238345748Smckusick 	iprintf("%s map 0x%x: pmap=0x%x,ref=%d,nentries=%d,version=%d\n",
238445748Smckusick 		(map->is_main_map ? "Task" : "Share"),
238545748Smckusick  		(int) map, (int) (map->pmap), map->ref_count, map->nentries,
238645748Smckusick 		map->timestamp);
238745748Smckusick 
238845748Smckusick 	if (!full && indent)
238945748Smckusick 		return;
239045748Smckusick 
239145748Smckusick 	indent += 2;
239245748Smckusick 	for (entry = map->header.next; entry != &map->header;
239345748Smckusick 				entry = entry->next) {
239445748Smckusick 		iprintf("map entry 0x%x: start=0x%x, end=0x%x, ",
239545748Smckusick 			(int) entry, (int) entry->start, (int) entry->end);
239645748Smckusick 		if (map->is_main_map) {
239745748Smckusick 		     	static char *inheritance_name[4] =
239845748Smckusick 				{ "share", "copy", "none", "donate_copy"};
239945748Smckusick 			printf("prot=%x/%x/%s, ",
240045748Smckusick 				entry->protection,
240145748Smckusick 				entry->max_protection,
240245748Smckusick 				inheritance_name[entry->inheritance]);
240345748Smckusick 			if (entry->wired_count != 0)
240445748Smckusick 				printf("wired, ");
240545748Smckusick 		}
240645748Smckusick 
240745748Smckusick 		if (entry->is_a_map || entry->is_sub_map) {
240845748Smckusick 		 	printf("share=0x%x, offset=0x%x\n",
240945748Smckusick 				(int) entry->object.share_map,
241045748Smckusick 				(int) entry->offset);
241145748Smckusick 			if ((entry->prev == &map->header) ||
241245748Smckusick 			    (!entry->prev->is_a_map) ||
241345748Smckusick 			    (entry->prev->object.share_map !=
241445748Smckusick 			     entry->object.share_map)) {
241545748Smckusick 				indent += 2;
241645748Smckusick 				vm_map_print(entry->object.share_map, full);
241745748Smckusick 				indent -= 2;
241845748Smckusick 			}
241945748Smckusick 
242045748Smckusick 		}
242145748Smckusick 		else {
242245748Smckusick 			printf("object=0x%x, offset=0x%x",
242345748Smckusick 				(int) entry->object.vm_object,
242445748Smckusick 				(int) entry->offset);
242545748Smckusick 			if (entry->copy_on_write)
242645748Smckusick 				printf(", copy (%s)",
242745748Smckusick 				       entry->needs_copy ? "needed" : "done");
242845748Smckusick 			printf("\n");
242945748Smckusick 
243045748Smckusick 			if ((entry->prev == &map->header) ||
243145748Smckusick 			    (entry->prev->is_a_map) ||
243245748Smckusick 			    (entry->prev->object.vm_object !=
243345748Smckusick 			     entry->object.vm_object)) {
243445748Smckusick 				indent += 2;
243545748Smckusick 				vm_object_print(entry->object.vm_object, full);
243645748Smckusick 				indent -= 2;
243745748Smckusick 			}
243845748Smckusick 		}
243945748Smckusick 	}
244045748Smckusick 	indent -= 2;
244145748Smckusick }
2442