Home | History | Annotate | Line # | Download | only in prekern
mm.c revision 1.16
      1  1.16  maxv /*	$NetBSD: mm.c,v 1.16 2017/11/15 20:25:29 maxv Exp $	*/
      2   1.1  maxv 
      3   1.1  maxv /*
      4   1.1  maxv  * Copyright (c) 2017 The NetBSD Foundation, Inc. All rights reserved.
      5   1.1  maxv  *
      6   1.1  maxv  * This code is derived from software contributed to The NetBSD Foundation
      7   1.1  maxv  * by Maxime Villard.
      8   1.1  maxv  *
      9   1.1  maxv  * Redistribution and use in source and binary forms, with or without
     10   1.1  maxv  * modification, are permitted provided that the following conditions
     11   1.1  maxv  * are met:
     12   1.1  maxv  * 1. Redistributions of source code must retain the above copyright
     13   1.1  maxv  *    notice, this list of conditions and the following disclaimer.
     14   1.1  maxv  * 2. Redistributions in binary form must reproduce the above copyright
     15   1.1  maxv  *    notice, this list of conditions and the following disclaimer in the
     16   1.1  maxv  *    documentation and/or other materials provided with the distribution.
     17   1.1  maxv  *
     18   1.1  maxv  * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS
     19   1.1  maxv  * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
     20   1.1  maxv  * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
     21   1.1  maxv  * PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS
     22   1.1  maxv  * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
     23   1.1  maxv  * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
     24   1.1  maxv  * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
     25   1.1  maxv  * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
     26   1.1  maxv  * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
     27   1.1  maxv  * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
     28   1.1  maxv  * POSSIBILITY OF SUCH DAMAGE.
     29   1.1  maxv  */
     30   1.1  maxv 
     31   1.1  maxv #include "prekern.h"
     32   1.1  maxv 
     33   1.9  maxv #define PAD_TEXT	0xCC
     34   1.9  maxv #define PAD_RODATA	0x00
     35   1.9  maxv #define PAD_DATA	0x00
     36   1.9  maxv 
     37  1.14  maxv #define ELFROUND	64
     38  1.14  maxv 
     39  1.15  maxv #define MM_PROT_READ	0x00
     40  1.15  maxv #define MM_PROT_WRITE	0x01
     41  1.15  maxv #define MM_PROT_EXECUTE	0x02
     42  1.15  maxv 
     43   1.1  maxv static const pt_entry_t protection_codes[3] = {
     44   1.1  maxv 	[MM_PROT_READ] = PG_RO | PG_NX,
     45   1.1  maxv 	[MM_PROT_WRITE] = PG_RW | PG_NX,
     46   1.1  maxv 	[MM_PROT_EXECUTE] = PG_RO,
     47   1.1  maxv 	/* RWX does not exist */
     48   1.1  maxv };
     49   1.1  maxv 
     50   1.6  maxv struct bootspace bootspace;
     51   1.6  maxv 
     52   1.1  maxv extern paddr_t kernpa_start, kernpa_end;
     53   1.1  maxv vaddr_t iom_base;
     54   1.1  maxv 
     55   1.1  maxv paddr_t pa_avail = 0;
     56   1.2  maxv static const vaddr_t tmpva = (PREKERNBASE + NKL2_KIMG_ENTRIES * NBPD_L2);
     57   1.1  maxv 
     58   1.1  maxv void
     59   1.1  maxv mm_init(paddr_t first_pa)
     60   1.1  maxv {
     61   1.1  maxv 	pa_avail = first_pa;
     62   1.1  maxv }
     63   1.1  maxv 
     64   1.1  maxv static void
     65   1.1  maxv mm_enter_pa(paddr_t pa, vaddr_t va, pte_prot_t prot)
     66   1.1  maxv {
     67   1.1  maxv 	PTE_BASE[pl1_i(va)] = pa | PG_V | protection_codes[prot];
     68   1.1  maxv }
     69   1.1  maxv 
     70   1.1  maxv static void
     71   1.1  maxv mm_flush_va(vaddr_t va)
     72   1.1  maxv {
     73   1.1  maxv 	asm volatile("invlpg (%0)" ::"r" (va) : "memory");
     74   1.1  maxv }
     75   1.1  maxv 
     76   1.2  maxv static paddr_t
     77   1.2  maxv mm_palloc(size_t npages)
     78   1.2  maxv {
     79   1.2  maxv 	paddr_t pa;
     80   1.2  maxv 	size_t i;
     81   1.2  maxv 
     82   1.2  maxv 	/* Allocate the physical pages */
     83   1.2  maxv 	pa = pa_avail;
     84   1.2  maxv 	pa_avail += npages * PAGE_SIZE;
     85   1.2  maxv 
     86   1.2  maxv 	/* Zero them out */
     87   1.2  maxv 	for (i = 0; i < npages; i++) {
     88   1.2  maxv 		mm_enter_pa(pa + i * PAGE_SIZE, tmpva,
     89   1.2  maxv 		    MM_PROT_READ|MM_PROT_WRITE);
     90   1.2  maxv 		mm_flush_va(tmpva);
     91   1.2  maxv 		memset((void *)tmpva, 0, PAGE_SIZE);
     92   1.2  maxv 	}
     93   1.2  maxv 
     94   1.2  maxv 	return pa;
     95   1.2  maxv }
     96   1.2  maxv 
     97   1.3  maxv static bool
     98   1.3  maxv mm_pte_is_valid(pt_entry_t pte)
     99   1.3  maxv {
    100   1.3  maxv 	return ((pte & PG_V) != 0);
    101   1.3  maxv }
    102   1.3  maxv 
    103   1.1  maxv paddr_t
    104   1.1  maxv mm_vatopa(vaddr_t va)
    105   1.1  maxv {
    106   1.1  maxv 	return (PTE_BASE[pl1_i(va)] & PG_FRAME);
    107   1.1  maxv }
    108   1.1  maxv 
    109   1.8  maxv static void
    110   1.1  maxv mm_mprotect(vaddr_t startva, size_t size, int prot)
    111   1.1  maxv {
    112   1.1  maxv 	size_t i, npages;
    113   1.1  maxv 	vaddr_t va;
    114   1.1  maxv 	paddr_t pa;
    115   1.1  maxv 
    116   1.1  maxv 	ASSERT(size % PAGE_SIZE == 0);
    117   1.1  maxv 	npages = size / PAGE_SIZE;
    118   1.1  maxv 
    119   1.1  maxv 	for (i = 0; i < npages; i++) {
    120   1.1  maxv 		va = startva + i * PAGE_SIZE;
    121   1.1  maxv 		pa = (PTE_BASE[pl1_i(va)] & PG_FRAME);
    122   1.1  maxv 		mm_enter_pa(pa, va, prot);
    123   1.1  maxv 		mm_flush_va(va);
    124   1.1  maxv 	}
    125   1.1  maxv }
    126   1.1  maxv 
    127   1.8  maxv void
    128  1.13  maxv mm_bootspace_mprotect(void)
    129   1.8  maxv {
    130  1.10  maxv 	int prot;
    131  1.10  maxv 	size_t i;
    132  1.10  maxv 
    133  1.10  maxv 	/* Remap the kernel segments with proper permissions. */
    134  1.10  maxv 	for (i = 0; i < BTSPACE_NSEGS; i++) {
    135  1.10  maxv 		if (bootspace.segs[i].type == BTSEG_TEXT) {
    136  1.10  maxv 			prot = MM_PROT_READ|MM_PROT_EXECUTE;
    137  1.10  maxv 		} else if (bootspace.segs[i].type == BTSEG_RODATA) {
    138  1.10  maxv 			prot = MM_PROT_READ;
    139  1.10  maxv 		} else {
    140  1.10  maxv 			continue;
    141  1.10  maxv 		}
    142  1.10  maxv 		mm_mprotect(bootspace.segs[i].va, bootspace.segs[i].sz, prot);
    143  1.10  maxv 	}
    144   1.8  maxv 
    145   1.8  maxv 	print_state(true, "Segments protection updated");
    146   1.8  maxv }
    147   1.8  maxv 
    148   1.5  maxv static size_t
    149   1.5  maxv mm_nentries_range(vaddr_t startva, vaddr_t endva, size_t pgsz)
    150   1.5  maxv {
    151   1.5  maxv 	size_t npages;
    152   1.5  maxv 
    153   1.5  maxv 	npages = roundup((endva / PAGE_SIZE), (pgsz / PAGE_SIZE)) -
    154   1.5  maxv 	    rounddown((startva / PAGE_SIZE), (pgsz / PAGE_SIZE));
    155   1.5  maxv 	return (npages / (pgsz / PAGE_SIZE));
    156   1.5  maxv }
    157   1.5  maxv 
    158   1.1  maxv static void
    159   1.2  maxv mm_map_tree(vaddr_t startva, vaddr_t endva)
    160   1.1  maxv {
    161   1.5  maxv 	size_t i, nL4e, nL3e, nL2e;
    162   1.1  maxv 	size_t L4e_idx, L3e_idx, L2e_idx;
    163   1.3  maxv 	paddr_t pa;
    164   1.3  maxv 
    165   1.1  maxv 	/*
    166   1.3  maxv 	 * Build L4.
    167   1.1  maxv 	 */
    168   1.3  maxv 	L4e_idx = pl4_i(startva);
    169   1.5  maxv 	nL4e = mm_nentries_range(startva, endva, NBPD_L4);
    170   1.3  maxv 	ASSERT(L4e_idx == 511);
    171   1.2  maxv 	ASSERT(nL4e == 1);
    172   1.3  maxv 	if (!mm_pte_is_valid(L4_BASE[L4e_idx])) {
    173   1.3  maxv 		pa = mm_palloc(1);
    174   1.3  maxv 		L4_BASE[L4e_idx] = pa | PG_V | PG_RW;
    175   1.3  maxv 	}
    176   1.1  maxv 
    177   1.1  maxv 	/*
    178   1.3  maxv 	 * Build L3.
    179   1.1  maxv 	 */
    180   1.3  maxv 	L3e_idx = pl3_i(startva);
    181   1.5  maxv 	nL3e = mm_nentries_range(startva, endva, NBPD_L3);
    182   1.3  maxv 	for (i = 0; i < nL3e; i++) {
    183   1.3  maxv 		if (mm_pte_is_valid(L3_BASE[L3e_idx+i])) {
    184   1.3  maxv 			continue;
    185   1.3  maxv 		}
    186   1.3  maxv 		pa = mm_palloc(1);
    187   1.3  maxv 		L3_BASE[L3e_idx+i] = pa | PG_V | PG_RW;
    188   1.3  maxv 	}
    189   1.1  maxv 
    190   1.1  maxv 	/*
    191   1.3  maxv 	 * Build L2.
    192   1.1  maxv 	 */
    193   1.3  maxv 	L2e_idx = pl2_i(startva);
    194   1.5  maxv 	nL2e = mm_nentries_range(startva, endva, NBPD_L2);
    195   1.2  maxv 	for (i = 0; i < nL2e; i++) {
    196   1.3  maxv 		if (mm_pte_is_valid(L2_BASE[L2e_idx+i])) {
    197   1.3  maxv 			continue;
    198   1.3  maxv 		}
    199   1.3  maxv 		pa = mm_palloc(1);
    200   1.3  maxv 		L2_BASE[L2e_idx+i] = pa | PG_V | PG_RW;
    201   1.1  maxv 	}
    202   1.1  maxv }
    203   1.1  maxv 
    204   1.6  maxv static uint64_t
    205  1.13  maxv mm_rand_num64(void)
    206   1.6  maxv {
    207   1.6  maxv 	/* XXX: yes, this is ridiculous, will be fixed soon */
    208   1.6  maxv 	return rdtsc();
    209   1.6  maxv }
    210   1.6  maxv 
    211   1.6  maxv static void
    212  1.13  maxv mm_map_head(void)
    213   1.6  maxv {
    214   1.6  maxv 	size_t i, npages, size;
    215   1.6  maxv 	uint64_t rnd;
    216   1.6  maxv 	vaddr_t randva;
    217   1.6  maxv 
    218   1.6  maxv 	/*
    219   1.6  maxv 	 * To get the size of the head, we give a look at the read-only
    220   1.6  maxv 	 * mapping of the kernel we created in locore. We're identity mapped,
    221   1.6  maxv 	 * so kernpa = kernva.
    222   1.6  maxv 	 */
    223   1.6  maxv 	size = elf_get_head_size((vaddr_t)kernpa_start);
    224   1.6  maxv 	npages = size / PAGE_SIZE;
    225   1.6  maxv 
    226   1.6  maxv 	rnd = mm_rand_num64();
    227   1.6  maxv 	randva = rounddown(HEAD_WINDOW_BASE + rnd % (HEAD_WINDOW_SIZE - size),
    228   1.6  maxv 	    PAGE_SIZE);
    229   1.6  maxv 	mm_map_tree(randva, randva + size);
    230   1.6  maxv 
    231   1.6  maxv 	/* Enter the area and build the ELF info */
    232   1.6  maxv 	for (i = 0; i < npages; i++) {
    233   1.6  maxv 		mm_enter_pa(kernpa_start + i * PAGE_SIZE,
    234   1.6  maxv 		    randva + i * PAGE_SIZE, MM_PROT_READ|MM_PROT_WRITE);
    235   1.6  maxv 	}
    236   1.6  maxv 	elf_build_head(randva);
    237   1.6  maxv 
    238   1.6  maxv 	/* Register the values in bootspace */
    239   1.6  maxv 	bootspace.head.va = randva;
    240   1.6  maxv 	bootspace.head.pa = kernpa_start;
    241   1.6  maxv 	bootspace.head.sz = size;
    242   1.6  maxv }
    243   1.6  maxv 
    244   1.1  maxv static vaddr_t
    245  1.14  maxv mm_randva_kregion(size_t size, size_t align)
    246   1.1  maxv {
    247  1.11  maxv 	vaddr_t sva, eva;
    248   1.1  maxv 	vaddr_t randva;
    249   1.1  maxv 	uint64_t rnd;
    250   1.6  maxv 	size_t i;
    251   1.6  maxv 	bool ok;
    252   1.6  maxv 
    253   1.6  maxv 	while (1) {
    254   1.6  maxv 		rnd = mm_rand_num64();
    255   1.6  maxv 		randva = rounddown(KASLR_WINDOW_BASE +
    256  1.14  maxv 		    rnd % (KASLR_WINDOW_SIZE - size), align);
    257   1.6  maxv 
    258   1.6  maxv 		/* Detect collisions */
    259   1.6  maxv 		ok = true;
    260  1.11  maxv 		for (i = 0; i < BTSPACE_NSEGS; i++) {
    261  1.11  maxv 			if (bootspace.segs[i].type == BTSEG_NONE) {
    262  1.11  maxv 				continue;
    263  1.11  maxv 			}
    264  1.11  maxv 			sva = bootspace.segs[i].va;
    265  1.11  maxv 			eva = sva + bootspace.segs[i].sz;
    266  1.11  maxv 
    267  1.11  maxv 			if ((sva <= randva) && (randva < eva)) {
    268   1.6  maxv 				ok = false;
    269   1.6  maxv 				break;
    270   1.6  maxv 			}
    271  1.11  maxv 			if ((sva < randva + size) && (randva + size <= eva)) {
    272   1.6  maxv 				ok = false;
    273   1.6  maxv 				break;
    274   1.6  maxv 			}
    275   1.6  maxv 		}
    276   1.6  maxv 		if (ok) {
    277   1.6  maxv 			break;
    278   1.6  maxv 		}
    279   1.6  maxv 	}
    280   1.1  maxv 
    281   1.2  maxv 	mm_map_tree(randva, randva + size);
    282   1.1  maxv 
    283   1.1  maxv 	return randva;
    284   1.1  maxv }
    285   1.1  maxv 
    286  1.10  maxv static paddr_t
    287  1.13  maxv bootspace_getend(void)
    288  1.10  maxv {
    289  1.10  maxv 	paddr_t pa, max = 0;
    290  1.10  maxv 	size_t i;
    291  1.10  maxv 
    292  1.10  maxv 	for (i = 0; i < BTSPACE_NSEGS; i++) {
    293  1.10  maxv 		if (bootspace.segs[i].type == BTSEG_NONE) {
    294  1.10  maxv 			continue;
    295  1.10  maxv 		}
    296  1.10  maxv 		pa = bootspace.segs[i].pa + bootspace.segs[i].sz;
    297  1.10  maxv 		if (pa > max)
    298  1.10  maxv 			max = pa;
    299  1.10  maxv 	}
    300  1.10  maxv 
    301  1.10  maxv 	return max;
    302  1.10  maxv }
    303  1.10  maxv 
    304  1.10  maxv static void
    305  1.10  maxv bootspace_addseg(int type, vaddr_t va, paddr_t pa, size_t sz)
    306  1.10  maxv {
    307  1.10  maxv 	size_t i;
    308  1.10  maxv 
    309  1.10  maxv 	for (i = 0; i < BTSPACE_NSEGS; i++) {
    310  1.10  maxv 		if (bootspace.segs[i].type == BTSEG_NONE) {
    311  1.10  maxv 			bootspace.segs[i].type = type;
    312  1.10  maxv 			bootspace.segs[i].va = va;
    313  1.10  maxv 			bootspace.segs[i].pa = pa;
    314  1.10  maxv 			bootspace.segs[i].sz = sz;
    315  1.10  maxv 			return;
    316  1.10  maxv 		}
    317  1.10  maxv 	}
    318  1.10  maxv 
    319  1.10  maxv 	fatal("bootspace_addseg: segments full");
    320  1.10  maxv }
    321  1.10  maxv 
    322  1.14  maxv static size_t
    323  1.14  maxv mm_shift_segment(vaddr_t va, size_t pagesz, size_t elfsz, size_t elfalign)
    324  1.14  maxv {
    325  1.14  maxv 	size_t shiftsize, offset;
    326  1.14  maxv 	uint64_t rnd;
    327  1.14  maxv 
    328  1.14  maxv 	if (elfalign == 0) {
    329  1.14  maxv 		elfalign = ELFROUND;
    330  1.14  maxv 	}
    331  1.14  maxv 
    332  1.14  maxv 	shiftsize = roundup(elfsz, pagesz) - roundup(elfsz, elfalign);
    333  1.14  maxv 	if (shiftsize == 0) {
    334  1.14  maxv 		return 0;
    335  1.14  maxv 	}
    336  1.14  maxv 
    337  1.14  maxv 	rnd = mm_rand_num64();
    338  1.14  maxv 	offset = roundup(rnd % shiftsize, elfalign);
    339  1.14  maxv 	ASSERT((va + offset) % elfalign == 0);
    340  1.14  maxv 
    341  1.14  maxv 	memmove((void *)(va + offset), (void *)va, elfsz);
    342  1.14  maxv 
    343  1.14  maxv 	return offset;
    344  1.14  maxv }
    345  1.14  maxv 
    346  1.12  maxv vaddr_t
    347  1.14  maxv mm_map_segment(int segtype, paddr_t pa, size_t elfsz, size_t elfalign)
    348   1.1  maxv {
    349  1.14  maxv 	size_t i, npages, size, pagesz, offset;
    350   1.6  maxv 	vaddr_t randva;
    351  1.12  maxv 	char pad;
    352   1.6  maxv 
    353  1.16  maxv 	if (elfsz <= PAGE_SIZE) {
    354  1.14  maxv 		pagesz = NBPD_L1;
    355  1.14  maxv 	} else {
    356  1.14  maxv 		pagesz = NBPD_L2;
    357  1.14  maxv 	}
    358  1.14  maxv 
    359  1.14  maxv 	size = roundup(elfsz, pagesz);
    360  1.14  maxv 	randva = mm_randva_kregion(size, pagesz);
    361  1.14  maxv 
    362   1.6  maxv 	npages = size / PAGE_SIZE;
    363   1.6  maxv 	for (i = 0; i < npages; i++) {
    364   1.6  maxv 		mm_enter_pa(pa + i * PAGE_SIZE,
    365   1.6  maxv 		    randva + i * PAGE_SIZE, MM_PROT_READ|MM_PROT_WRITE);
    366   1.6  maxv 	}
    367   1.6  maxv 
    368  1.14  maxv 	offset = mm_shift_segment(randva, pagesz, elfsz, elfalign);
    369  1.14  maxv 	ASSERT(offset + elfsz <= size);
    370  1.14  maxv 
    371  1.12  maxv 	if (segtype == BTSEG_TEXT) {
    372  1.12  maxv 		pad = PAD_TEXT;
    373  1.12  maxv 	} else if (segtype == BTSEG_RODATA) {
    374  1.12  maxv 		pad = PAD_RODATA;
    375  1.12  maxv 	} else {
    376  1.12  maxv 		pad = PAD_DATA;
    377   1.6  maxv 	}
    378  1.14  maxv 	memset((void *)randva, pad, offset);
    379  1.14  maxv 	memset((void *)(randva + offset + elfsz), pad, size - elfsz - offset);
    380   1.6  maxv 
    381  1.12  maxv 	bootspace_addseg(segtype, randva, pa, size);
    382   1.9  maxv 
    383  1.14  maxv 	return (randva + offset);
    384   1.6  maxv }
    385   1.6  maxv 
    386   1.6  maxv static void
    387  1.13  maxv mm_map_boot(void)
    388   1.6  maxv {
    389   1.6  maxv 	size_t i, npages, size;
    390   1.6  maxv 	vaddr_t randva;
    391   1.6  maxv 	paddr_t bootpa;
    392   1.6  maxv 
    393   1.6  maxv 	/*
    394   1.6  maxv 	 * The "boot" region is special: its page tree has a fixed size, but
    395   1.6  maxv 	 * the number of pages entered is lower.
    396   1.6  maxv 	 */
    397   1.6  maxv 
    398   1.6  maxv 	/* Create the page tree */
    399   1.6  maxv 	size = (NKL2_KIMG_ENTRIES + 1) * NBPD_L2;
    400  1.14  maxv 	randva = mm_randva_kregion(size, PAGE_SIZE);
    401   1.6  maxv 
    402   1.6  maxv 	/* Enter the area and build the ELF info */
    403  1.10  maxv 	bootpa = bootspace_getend();
    404   1.6  maxv 	size = (pa_avail - bootpa);
    405   1.6  maxv 	npages = size / PAGE_SIZE;
    406   1.6  maxv 	for (i = 0; i < npages; i++) {
    407   1.6  maxv 		mm_enter_pa(bootpa + i * PAGE_SIZE,
    408   1.6  maxv 		    randva + i * PAGE_SIZE, MM_PROT_READ|MM_PROT_WRITE);
    409   1.1  maxv 	}
    410   1.6  maxv 	elf_build_boot(randva, bootpa);
    411   1.1  maxv 
    412   1.1  maxv 	/* Enter the ISA I/O MEM */
    413   1.6  maxv 	iom_base = randva + npages * PAGE_SIZE;
    414   1.1  maxv 	npages = IOM_SIZE / PAGE_SIZE;
    415   1.1  maxv 	for (i = 0; i < npages; i++) {
    416   1.1  maxv 		mm_enter_pa(IOM_BEGIN + i * PAGE_SIZE,
    417   1.1  maxv 		    iom_base + i * PAGE_SIZE, MM_PROT_READ|MM_PROT_WRITE);
    418   1.1  maxv 	}
    419   1.1  maxv 
    420   1.6  maxv 	/* Register the values in bootspace */
    421   1.6  maxv 	bootspace.boot.va = randva;
    422   1.6  maxv 	bootspace.boot.pa = bootpa;
    423   1.6  maxv 	bootspace.boot.sz = (size_t)(iom_base + IOM_SIZE) -
    424   1.6  maxv 	    (size_t)bootspace.boot.va;
    425   1.6  maxv 
    426   1.6  maxv 	/* Initialize the values that are located in the "boot" region */
    427   1.6  maxv 	extern uint64_t PDPpaddr;
    428   1.6  maxv 	bootspace.spareva = bootspace.boot.va + NKL2_KIMG_ENTRIES * NBPD_L2;
    429   1.6  maxv 	bootspace.pdir = bootspace.boot.va + (PDPpaddr - bootspace.boot.pa);
    430   1.6  maxv 	bootspace.emodule = bootspace.boot.va + NKL2_KIMG_ENTRIES * NBPD_L2;
    431   1.1  maxv }
    432   1.6  maxv 
    433   1.6  maxv /*
    434   1.6  maxv  * There are five independent regions: head, text, rodata, data, boot. They are
    435   1.6  maxv  * all mapped at random VAs.
    436   1.6  maxv  *
    437   1.6  maxv  * Head contains the ELF Header and ELF Section Headers, and we use them to
    438   1.6  maxv  * map the rest of the regions. Head must be placed in memory *before* the
    439   1.6  maxv  * other regions.
    440   1.6  maxv  *
    441   1.6  maxv  * At the end of this function, the bootspace structure is fully constructed.
    442   1.6  maxv  */
    443   1.6  maxv void
    444  1.13  maxv mm_map_kernel(void)
    445   1.6  maxv {
    446   1.6  maxv 	memset(&bootspace, 0, sizeof(bootspace));
    447   1.6  maxv 	mm_map_head();
    448   1.7  maxv 	print_state(true, "Head region mapped");
    449  1.12  maxv 	elf_map_sections();
    450   1.7  maxv 	print_state(true, "Segments mapped");
    451   1.6  maxv 	mm_map_boot();
    452   1.7  maxv 	print_state(true, "Boot region mapped");
    453   1.6  maxv }
    454