145748Smckusick /* 263379Sbostic * Copyright (c) 1991, 1993 363379Sbostic * The Regents of the University of California. 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*69521Spendry * @(#)vm_map.h 8.9 (Berkeley) 05/17/95 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 map module definitions. 4145748Smckusick */ 4245748Smckusick 4345748Smckusick #ifndef _VM_MAP_ 4445748Smckusick #define _VM_MAP_ 4545748Smckusick 4645748Smckusick /* 4745748Smckusick * Types defined: 4845748Smckusick * 4945748Smckusick * vm_map_t the high-level address map data structure. 5045748Smckusick * vm_map_entry_t an entry in an address map. 5145748Smckusick * vm_map_version_t a timestamp of a map, for use with vm_map_lookup 5245748Smckusick */ 5345748Smckusick 5445748Smckusick /* 5545748Smckusick * Objects which live in maps may be either VM objects, or 5645748Smckusick * another map (called a "sharing map") which denotes read-write 5745748Smckusick * sharing with other maps. 5845748Smckusick */ 5945748Smckusick 6045748Smckusick union vm_map_object { 6145748Smckusick struct vm_object *vm_object; /* object object */ 6245748Smckusick struct vm_map *share_map; /* share map */ 6345748Smckusick struct vm_map *sub_map; /* belongs to another map */ 6445748Smckusick }; 6545748Smckusick 6645748Smckusick /* 6745748Smckusick * Address map entries consist of start and end addresses, 6845748Smckusick * a VM object (or sharing map) and offset into that object, 6945748Smckusick * and user-exported inheritance and protection information. 7045748Smckusick * Also included is control information for virtual copy operations. 7145748Smckusick */ 7245748Smckusick struct vm_map_entry { 7345748Smckusick struct vm_map_entry *prev; /* previous entry */ 7445748Smckusick struct vm_map_entry *next; /* next entry */ 7545748Smckusick vm_offset_t start; /* start address */ 7645748Smckusick vm_offset_t end; /* end address */ 7745748Smckusick union vm_map_object object; /* object I point to */ 7845748Smckusick vm_offset_t offset; /* offset into object */ 7945748Smckusick boolean_t is_a_map; /* Is "object" a map? */ 8045748Smckusick boolean_t is_sub_map; /* Is "object" a submap? */ 8145748Smckusick /* Only in sharing maps: */ 8245748Smckusick boolean_t copy_on_write; /* is data copy-on-write */ 8345748Smckusick boolean_t needs_copy; /* does object need to be copied */ 8445748Smckusick /* Only in task maps: */ 8545748Smckusick vm_prot_t protection; /* protection code */ 8645748Smckusick vm_prot_t max_protection; /* maximum protection */ 8745748Smckusick vm_inherit_t inheritance; /* inheritance */ 8845748Smckusick int wired_count; /* can be paged if = 0 */ 8945748Smckusick }; 9045748Smckusick 9145748Smckusick /* 9245748Smckusick * Maps are doubly-linked lists of map entries, kept sorted 9345748Smckusick * by address. A single hint is provided to start 9445748Smckusick * searches again from the last successful search, 9545748Smckusick * insertion, or removal. 9645748Smckusick */ 9745748Smckusick struct vm_map { 9848386Skarels struct pmap * pmap; /* Physical map */ 9945748Smckusick lock_data_t lock; /* Lock for map data */ 10045748Smckusick struct vm_map_entry header; /* List of entries */ 10145748Smckusick int nentries; /* Number of entries */ 10245748Smckusick vm_size_t size; /* virtual size */ 10345748Smckusick boolean_t is_main_map; /* Am I a main map? */ 10445748Smckusick int ref_count; /* Reference count */ 10545748Smckusick simple_lock_data_t ref_lock; /* Lock for ref_count field */ 10645748Smckusick vm_map_entry_t hint; /* hint for quick lookups */ 10745748Smckusick simple_lock_data_t hint_lock; /* lock for hint storage */ 10845748Smckusick vm_map_entry_t first_free; /* First free space hint */ 10945748Smckusick boolean_t entries_pageable; /* map entries pageable?? */ 11045748Smckusick unsigned int timestamp; /* Version number */ 11145748Smckusick #define min_offset header.start 11245748Smckusick #define max_offset header.end 11345748Smckusick }; 11445748Smckusick 11545748Smckusick /* 11645748Smckusick * Map versions are used to validate a previous lookup attempt. 11745748Smckusick * 11845748Smckusick * Since lookup operations may involve both a main map and 11945748Smckusick * a sharing map, it is necessary to have a timestamp from each. 12045748Smckusick * [If the main map timestamp has changed, the share_map and 12145748Smckusick * associated timestamp are no longer valid; the map version 12245748Smckusick * does not include a reference for the imbedded share_map.] 12345748Smckusick */ 12445748Smckusick typedef struct { 12545748Smckusick int main_timestamp; 12645748Smckusick vm_map_t share_map; 12745748Smckusick int share_timestamp; 12845748Smckusick } vm_map_version_t; 12945748Smckusick 13045748Smckusick /* 13145748Smckusick * Macros: vm_map_lock, etc. 13245748Smckusick * Function: 13345748Smckusick * Perform locking on the data portion of a map. 13445748Smckusick */ 13545748Smckusick 13668936Smckusick #include <sys/proc.h> /* XXX for curproc and p_pid */ 13768793Smckusick 138*69521Spendry #define vm_map_lock_drain_interlock(map) { \ 139*69521Spendry lockmgr(&(map)->lock, LK_DRAIN|LK_INTERLOCK, \ 140*69521Spendry &(map)->ref_lock, curproc); \ 141*69521Spendry (map)->timestamp++; \ 142*69521Spendry } 143*69521Spendry #ifdef DIAGNOSTIC 14453330Sbostic #define vm_map_lock(map) { \ 145*69521Spendry if (lockmgr(&(map)->lock, LK_EXCLUSIVE, (void *)0, curproc) != 0) { \ 146*69521Spendry panic("vm_map_lock: failed to get lock"); \ 147*69521Spendry } \ 148*69521Spendry (map)->timestamp++; \ 149*69521Spendry } 150*69521Spendry #else 151*69521Spendry #define vm_map_lock(map) { \ 15269429Smckusick lockmgr(&(map)->lock, LK_EXCLUSIVE, (void *)0, curproc); \ 15353330Sbostic (map)->timestamp++; \ 15453330Sbostic } 155*69521Spendry #endif /* DIAGNOSTIC */ 15668930Smckusick #define vm_map_unlock(map) \ 15769429Smckusick lockmgr(&(map)->lock, LK_RELEASE, (void *)0, curproc) 15868930Smckusick #define vm_map_lock_read(map) \ 15969429Smckusick lockmgr(&(map)->lock, LK_SHARED, (void *)0, curproc) 16068930Smckusick #define vm_map_unlock_read(map) \ 16169429Smckusick lockmgr(&(map)->lock, LK_RELEASE, (void *)0, curproc) 16268796Smckusick #define vm_map_set_recursive(map) { \ 16368796Smckusick simple_lock(&(map)->lk_interlock); \ 16468796Smckusick (map)->lk_flags |= LK_CANRECURSE; \ 16568796Smckusick simple_unlock(&(map)->lk_interlock); \ 16668796Smckusick } 16768796Smckusick #define vm_map_clear_recursive(map) { \ 16868796Smckusick simple_lock(&(map)->lk_interlock); \ 16968796Smckusick (map)->lk_flags &= ~LK_CANRECURSE; \ 17068796Smckusick simple_unlock(&(map)->lk_interlock); \ 17168796Smckusick } 17245748Smckusick /* 17345748Smckusick * Functions implemented as macros 17445748Smckusick */ 17545748Smckusick #define vm_map_min(map) ((map)->min_offset) 17645748Smckusick #define vm_map_max(map) ((map)->max_offset) 17745748Smckusick #define vm_map_pmap(map) ((map)->pmap) 17845748Smckusick 17945748Smckusick /* XXX: number of kernel maps and entries to statically allocate */ 18045748Smckusick #define MAX_KMAP 10 18166359Sbostic #define MAX_KMAPENT 500 18245748Smckusick 18353330Sbostic #ifdef KERNEL 18453330Sbostic boolean_t vm_map_check_protection __P((vm_map_t, 18553330Sbostic vm_offset_t, vm_offset_t, vm_prot_t)); 18653330Sbostic int vm_map_copy __P((vm_map_t, vm_map_t, vm_offset_t, 18753330Sbostic vm_size_t, vm_offset_t, boolean_t, boolean_t)); 18853330Sbostic void vm_map_copy_entry __P((vm_map_t, 18953330Sbostic vm_map_t, vm_map_entry_t, vm_map_entry_t)); 19053330Sbostic struct pmap; 19153330Sbostic vm_map_t vm_map_create __P((struct pmap *, 19253330Sbostic vm_offset_t, vm_offset_t, boolean_t)); 19353330Sbostic void vm_map_deallocate __P((vm_map_t)); 19453330Sbostic int vm_map_delete __P((vm_map_t, vm_offset_t, vm_offset_t)); 19553330Sbostic vm_map_entry_t vm_map_entry_create __P((vm_map_t)); 19653330Sbostic void vm_map_entry_delete __P((vm_map_t, vm_map_entry_t)); 19753330Sbostic void vm_map_entry_dispose __P((vm_map_t, vm_map_entry_t)); 19853330Sbostic void vm_map_entry_unwire __P((vm_map_t, vm_map_entry_t)); 19953330Sbostic int vm_map_find __P((vm_map_t, vm_object_t, 20053330Sbostic vm_offset_t, vm_offset_t *, vm_size_t, boolean_t)); 20153330Sbostic int vm_map_findspace __P((vm_map_t, 20253330Sbostic vm_offset_t, vm_size_t, vm_offset_t *)); 20353330Sbostic int vm_map_inherit __P((vm_map_t, 20453330Sbostic vm_offset_t, vm_offset_t, vm_inherit_t)); 20553330Sbostic void vm_map_init __P((struct vm_map *, 20653330Sbostic vm_offset_t, vm_offset_t, boolean_t)); 20753330Sbostic int vm_map_insert __P((vm_map_t, 20853330Sbostic vm_object_t, vm_offset_t, vm_offset_t, vm_offset_t)); 20953330Sbostic int vm_map_lookup __P((vm_map_t *, vm_offset_t, vm_prot_t, 21053330Sbostic vm_map_entry_t *, vm_object_t *, vm_offset_t *, vm_prot_t *, 21153330Sbostic boolean_t *, boolean_t *)); 21253330Sbostic void vm_map_lookup_done __P((vm_map_t, vm_map_entry_t)); 21353330Sbostic boolean_t vm_map_lookup_entry __P((vm_map_t, 21453330Sbostic vm_offset_t, vm_map_entry_t *)); 21553330Sbostic int vm_map_pageable __P((vm_map_t, 21653330Sbostic vm_offset_t, vm_offset_t, boolean_t)); 21765685Shibler int vm_map_clean __P((vm_map_t, 21865685Shibler vm_offset_t, vm_offset_t, boolean_t, boolean_t)); 21953330Sbostic void vm_map_print __P((vm_map_t, boolean_t)); 22053330Sbostic int vm_map_protect __P((vm_map_t, 22153330Sbostic vm_offset_t, vm_offset_t, vm_prot_t, boolean_t)); 22253330Sbostic void vm_map_reference __P((vm_map_t)); 22353330Sbostic int vm_map_remove __P((vm_map_t, vm_offset_t, vm_offset_t)); 22453330Sbostic void vm_map_simplify __P((vm_map_t, vm_offset_t)); 22553330Sbostic void vm_map_simplify_entry __P((vm_map_t, vm_map_entry_t)); 22653330Sbostic void vm_map_startup __P((void)); 22753330Sbostic int vm_map_submap __P((vm_map_t, 22853330Sbostic vm_offset_t, vm_offset_t, vm_map_t)); 22953330Sbostic #endif 23060337Storek #endif /* _VM_MAP_ */ 231