2015-03-23 11:54:56 +00:00
|
|
|
/*-
|
|
|
|
* Copyright (c) 1990 The Regents of the University of California.
|
|
|
|
* All rights reserved.
|
|
|
|
* Copyright (c) 1994 John S. Dyson
|
|
|
|
* All rights reserved.
|
|
|
|
*
|
|
|
|
* This code is derived from software contributed to Berkeley by
|
|
|
|
* William Jolitz.
|
|
|
|
*
|
|
|
|
* Redistribution and use in source and binary forms, with or without
|
|
|
|
* modification, are permitted provided that the following conditions
|
|
|
|
* are met:
|
|
|
|
* 1. Redistributions of source code must retain the above copyright
|
|
|
|
* notice, this list of conditions and the following disclaimer.
|
|
|
|
* 2. Redistributions in binary form must reproduce the above copyright
|
|
|
|
* notice, this list of conditions and the following disclaimer in the
|
|
|
|
* documentation and/or other materials provided with the distribution.
|
2015-03-23 16:04:04 +00:00
|
|
|
* 3. Neither the name of the University nor the names of its contributors
|
2015-03-23 11:54:56 +00:00
|
|
|
* may be used to endorse or promote products derived from this software
|
|
|
|
* without specific prior written permission.
|
|
|
|
*
|
|
|
|
* THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS ``AS IS'' AND
|
|
|
|
* ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
|
|
|
|
* IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
|
|
|
|
* ARE DISCLAIMED. IN NO EVENT SHALL THE REGENTS OR CONTRIBUTORS BE LIABLE
|
|
|
|
* FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
|
|
|
|
* DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
|
|
|
|
* OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
|
|
|
|
* HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
|
|
|
|
* LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
|
|
|
|
* OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
|
|
|
|
* SUCH DAMAGE.
|
|
|
|
*
|
|
|
|
* from: @(#)vmparam.h 5.9 (Berkeley) 5/12/91
|
|
|
|
* from: FreeBSD: src/sys/i386/include/vmparam.h,v 1.33 2000/03/30
|
|
|
|
* $FreeBSD$
|
|
|
|
*/
|
|
|
|
|
|
|
|
#ifndef _MACHINE_VMPARAM_H_
|
|
|
|
#define _MACHINE_VMPARAM_H_
|
|
|
|
|
|
|
|
/*
|
|
|
|
* Virtual memory related constants, all in bytes
|
|
|
|
*/
|
|
|
|
#ifndef MAXTSIZ
|
|
|
|
#define MAXTSIZ (1*1024*1024*1024) /* max text size */
|
|
|
|
#endif
|
|
|
|
#ifndef DFLDSIZ
|
|
|
|
#define DFLDSIZ (128*1024*1024) /* initial data size limit */
|
|
|
|
#endif
|
|
|
|
#ifndef MAXDSIZ
|
|
|
|
#define MAXDSIZ (1*1024*1024*1024) /* max data size */
|
|
|
|
#endif
|
|
|
|
#ifndef DFLSSIZ
|
|
|
|
#define DFLSSIZ (128*1024*1024) /* initial stack size limit */
|
|
|
|
#endif
|
|
|
|
#ifndef MAXSSIZ
|
|
|
|
#define MAXSSIZ (1*1024*1024*1024) /* max stack size */
|
|
|
|
#endif
|
|
|
|
#ifndef SGROWSIZ
|
|
|
|
#define SGROWSIZ (128*1024) /* amount to grow stack */
|
|
|
|
#endif
|
|
|
|
|
|
|
|
/*
|
|
|
|
* The physical address space is sparsely populated.
|
|
|
|
*/
|
|
|
|
#define VM_PHYSSEG_SPARSE
|
|
|
|
|
|
|
|
/*
|
|
|
|
* The number of PHYSSEG entries must be one greater than the number
|
|
|
|
* of phys_avail entries because the phys_avail entry that spans the
|
|
|
|
* largest physical address that is accessible by ISA DMA is split
|
|
|
|
* into two PHYSSEG entries.
|
|
|
|
*/
|
|
|
|
#define VM_PHYSSEG_MAX 64
|
|
|
|
|
|
|
|
/*
|
2015-06-08 04:59:32 +00:00
|
|
|
* Create two free page pools: VM_FREEPOOL_DEFAULT is the default pool
|
2015-03-23 11:54:56 +00:00
|
|
|
* from which physical pages are allocated and VM_FREEPOOL_DIRECT is
|
|
|
|
* the pool from which physical pages for small UMA objects are
|
|
|
|
* allocated.
|
|
|
|
*/
|
2015-06-08 04:59:32 +00:00
|
|
|
#define VM_NFREEPOOL 2
|
2015-03-23 11:54:56 +00:00
|
|
|
#define VM_FREEPOOL_DEFAULT 0
|
|
|
|
#define VM_FREEPOOL_DIRECT 1
|
|
|
|
|
|
|
|
/*
|
|
|
|
* Create two free page lists: VM_FREELIST_DEFAULT is for physical
|
|
|
|
* pages that are above the largest physical address that is
|
|
|
|
* accessible by ISA DMA and VM_FREELIST_ISADMA is for physical pages
|
|
|
|
* that are below that address.
|
|
|
|
*/
|
|
|
|
#define VM_NFREELIST 2
|
|
|
|
#define VM_FREELIST_DEFAULT 0
|
|
|
|
#define VM_FREELIST_ISADMA 1
|
|
|
|
|
|
|
|
/*
|
|
|
|
* An allocation size of 16MB is supported in order to optimize the
|
|
|
|
* use of the direct map by UMA. Specifically, a cache line contains
|
|
|
|
* at most four TTEs, collectively mapping 16MB of physical memory.
|
|
|
|
* By reducing the number of distinct 16MB "pages" that are used by UMA,
|
|
|
|
* the physical memory allocator reduces the likelihood of both 4MB
|
|
|
|
* page TLB misses and cache misses caused by 4MB page TLB misses.
|
|
|
|
*/
|
|
|
|
#define VM_NFREEORDER 12
|
|
|
|
|
|
|
|
/*
|
|
|
|
* Enable superpage reservations: 1 level.
|
|
|
|
*/
|
|
|
|
#ifndef VM_NRESERVLEVEL
|
|
|
|
#define VM_NRESERVLEVEL 1
|
|
|
|
#endif
|
|
|
|
|
|
|
|
/*
|
|
|
|
* Level 0 reservations consist of 512 pages.
|
|
|
|
*/
|
|
|
|
#ifndef VM_LEVEL_0_ORDER
|
|
|
|
#define VM_LEVEL_0_ORDER 9
|
|
|
|
#endif
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Address space layout.
|
|
|
|
*
|
|
|
|
* ARMv8 implements up to a 48 bit virtual address space. The address space is
|
|
|
|
* split into 2 regions at each end of the 64 bit address space, with an
|
|
|
|
* out of range "hole" in the middle.
|
|
|
|
*
|
2016-04-13 09:44:32 +00:00
|
|
|
* We use the full 48 bits for each region, however the kernel may only use
|
|
|
|
* a limited range within this space.
|
2015-03-23 11:54:56 +00:00
|
|
|
*
|
2016-04-13 11:43:03 +00:00
|
|
|
* Upper region: 0xffffffffffffffff Top of virtual memory
|
2015-03-23 11:54:56 +00:00
|
|
|
*
|
2016-04-13 11:43:03 +00:00
|
|
|
* 0xfffffeffffffffff End of DMAP
|
|
|
|
* 0xfffffd0000000000 Start of DMAP
|
2015-03-23 11:54:56 +00:00
|
|
|
*
|
2016-04-13 11:43:03 +00:00
|
|
|
* 0xffff007fffffffff End of KVA
|
|
|
|
* 0xffff000000000000 Kernel base address & start of KVA
|
|
|
|
*
|
|
|
|
* Hole: 0xfffeffffffffffff
|
|
|
|
* 0x0001000000000000
|
|
|
|
*
|
|
|
|
* Lower region: 0x0000ffffffffffff End of user address space
|
|
|
|
* 0x0000000000000000 Start of user address space
|
2015-03-23 11:54:56 +00:00
|
|
|
*
|
|
|
|
* We use the upper region for the kernel, and the lower region for userland.
|
|
|
|
*
|
|
|
|
* We define some interesting address constants:
|
|
|
|
*
|
|
|
|
* VM_MIN_ADDRESS and VM_MAX_ADDRESS define the start and end of the entire
|
|
|
|
* 64 bit address space, mostly just for convenience.
|
|
|
|
*
|
|
|
|
* VM_MIN_KERNEL_ADDRESS and VM_MAX_KERNEL_ADDRESS define the start and end of
|
|
|
|
* mappable kernel virtual address space.
|
|
|
|
*
|
|
|
|
* VM_MIN_USER_ADDRESS and VM_MAX_USER_ADDRESS define the start and end of the
|
|
|
|
* user address space.
|
|
|
|
*/
|
|
|
|
#define VM_MIN_ADDRESS (0x0000000000000000UL)
|
|
|
|
#define VM_MAX_ADDRESS (0xffffffffffffffffUL)
|
|
|
|
|
2016-04-13 09:44:32 +00:00
|
|
|
/* 512 GiB of kernel addresses */
|
|
|
|
#define VM_MIN_KERNEL_ADDRESS (0xffff000000000000UL)
|
|
|
|
#define VM_MAX_KERNEL_ADDRESS (0xffff008000000000UL)
|
2015-03-23 11:54:56 +00:00
|
|
|
|
2016-04-14 10:43:28 +00:00
|
|
|
/* 2 TiB maximum for the direct map region */
|
2016-04-13 09:44:32 +00:00
|
|
|
#define DMAP_MIN_ADDRESS (0xfffffd0000000000UL)
|
|
|
|
#define DMAP_MAX_ADDRESS (0xffffff0000000000UL)
|
2015-03-23 11:54:56 +00:00
|
|
|
|
2015-11-24 11:01:43 +00:00
|
|
|
#define DMAP_MIN_PHYSADDR (dmap_phys_base)
|
2016-04-14 10:43:28 +00:00
|
|
|
#define DMAP_MAX_PHYSADDR (dmap_phys_max)
|
2015-03-23 11:54:56 +00:00
|
|
|
|
|
|
|
/* True if pa is in the dmap range */
|
2015-11-24 11:01:43 +00:00
|
|
|
#define PHYS_IN_DMAP(pa) ((pa) >= DMAP_MIN_PHYSADDR && \
|
2016-04-13 09:44:32 +00:00
|
|
|
(pa) < DMAP_MAX_PHYSADDR)
|
2015-07-31 13:32:25 +00:00
|
|
|
/* True if va is in the dmap range */
|
|
|
|
#define VIRT_IN_DMAP(va) ((va) >= DMAP_MIN_ADDRESS && \
|
2016-04-14 10:43:28 +00:00
|
|
|
(va) < (dmap_max_addr))
|
2015-03-23 11:54:56 +00:00
|
|
|
|
|
|
|
#define PHYS_TO_DMAP(pa) \
|
|
|
|
({ \
|
|
|
|
KASSERT(PHYS_IN_DMAP(pa), \
|
|
|
|
("%s: PA out of range, PA: 0x%lx", __func__, \
|
|
|
|
(vm_paddr_t)(pa))); \
|
2016-06-30 04:58:19 +00:00
|
|
|
((pa) - dmap_phys_base) + DMAP_MIN_ADDRESS; \
|
2015-03-23 11:54:56 +00:00
|
|
|
})
|
|
|
|
|
|
|
|
#define DMAP_TO_PHYS(va) \
|
|
|
|
({ \
|
2015-07-31 13:32:25 +00:00
|
|
|
KASSERT(VIRT_IN_DMAP(va), \
|
2015-03-23 11:54:56 +00:00
|
|
|
("%s: VA out of range, VA: 0x%lx", __func__, \
|
|
|
|
(vm_offset_t)(va))); \
|
2016-06-30 04:58:19 +00:00
|
|
|
((va) - DMAP_MIN_ADDRESS) + dmap_phys_base; \
|
2015-03-23 11:54:56 +00:00
|
|
|
})
|
|
|
|
|
|
|
|
#define VM_MIN_USER_ADDRESS (0x0000000000000000UL)
|
2016-03-31 11:07:24 +00:00
|
|
|
#define VM_MAX_USER_ADDRESS (0x0001000000000000UL)
|
2015-03-23 11:54:56 +00:00
|
|
|
|
|
|
|
#define VM_MINUSER_ADDRESS (VM_MIN_USER_ADDRESS)
|
|
|
|
#define VM_MAXUSER_ADDRESS (VM_MAX_USER_ADDRESS)
|
|
|
|
|
|
|
|
#define KERNBASE (VM_MIN_KERNEL_ADDRESS)
|
2015-12-07 12:20:26 +00:00
|
|
|
#define SHAREDPAGE (VM_MAXUSER_ADDRESS - PAGE_SIZE)
|
|
|
|
#define USRSTACK SHAREDPAGE
|
2015-03-23 11:54:56 +00:00
|
|
|
|
|
|
|
/*
|
|
|
|
* How many physical pages per kmem arena virtual page.
|
|
|
|
*/
|
|
|
|
#ifndef VM_KMEM_SIZE_SCALE
|
|
|
|
#define VM_KMEM_SIZE_SCALE (3)
|
|
|
|
#endif
|
|
|
|
|
|
|
|
/*
|
|
|
|
* Optional floor (in bytes) on the size of the kmem arena.
|
|
|
|
*/
|
|
|
|
#ifndef VM_KMEM_SIZE_MIN
|
|
|
|
#define VM_KMEM_SIZE_MIN (16 * 1024 * 1024)
|
|
|
|
#endif
|
|
|
|
|
|
|
|
/*
|
|
|
|
* Optional ceiling (in bytes) on the size of the kmem arena: 60% of the
|
|
|
|
* kernel map.
|
|
|
|
*/
|
|
|
|
#ifndef VM_KMEM_SIZE_MAX
|
|
|
|
#define VM_KMEM_SIZE_MAX ((VM_MAX_KERNEL_ADDRESS - \
|
|
|
|
VM_MIN_KERNEL_ADDRESS + 1) * 3 / 5)
|
|
|
|
#endif
|
|
|
|
|
|
|
|
/*
|
|
|
|
* Initial pagein size of beginning of executable file.
|
|
|
|
*/
|
|
|
|
#ifndef VM_INITIAL_PAGEIN
|
|
|
|
#define VM_INITIAL_PAGEIN 16
|
|
|
|
#endif
|
|
|
|
|
2015-07-31 14:17:26 +00:00
|
|
|
#define UMA_MD_SMALL_ALLOC
|
|
|
|
|
2016-04-06 14:08:10 +00:00
|
|
|
#ifndef LOCORE
|
|
|
|
|
|
|
|
extern vm_paddr_t dmap_phys_base;
|
2016-04-14 10:43:28 +00:00
|
|
|
extern vm_paddr_t dmap_phys_max;
|
|
|
|
extern vm_offset_t dmap_max_addr;
|
2015-03-23 11:54:56 +00:00
|
|
|
extern u_int tsb_kernel_ldd_phys;
|
|
|
|
extern vm_offset_t vm_max_kernel_address;
|
|
|
|
extern vm_offset_t init_pt_va;
|
|
|
|
|
2016-04-06 14:08:10 +00:00
|
|
|
#endif
|
|
|
|
|
2015-03-23 11:54:56 +00:00
|
|
|
#define ZERO_REGION_SIZE (64 * 1024) /* 64KB */
|
|
|
|
|
2016-04-26 11:53:37 +00:00
|
|
|
#define DEVMAP_MAX_VADDR VM_MAX_KERNEL_ADDRESS
|
|
|
|
|
2015-03-23 11:54:56 +00:00
|
|
|
#endif /* !_MACHINE_VMPARAM_H_ */
|