Home | History | Annotate | Line # | Download | only in prekern
mm.c revision 1.19
      1  1.19  maxv /*	$NetBSD: mm.c,v 1.19 2017/11/26 11:01:09 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.18  maxv static const uint8_t pads[4] = {
     40  1.17  maxv 	[BTSEG_NONE] = 0x00,
     41  1.17  maxv 	[BTSEG_TEXT] = 0xCC,
     42  1.17  maxv 	[BTSEG_RODATA] = 0x00,
     43  1.17  maxv 	[BTSEG_DATA] = 0x00
     44  1.17  maxv };
     45  1.17  maxv 
     46  1.15  maxv #define MM_PROT_READ	0x00
     47  1.15  maxv #define MM_PROT_WRITE	0x01
     48  1.15  maxv #define MM_PROT_EXECUTE	0x02
     49  1.15  maxv 
     50   1.1  maxv static const pt_entry_t protection_codes[3] = {
     51   1.1  maxv 	[MM_PROT_READ] = PG_RO | PG_NX,
     52   1.1  maxv 	[MM_PROT_WRITE] = PG_RW | PG_NX,
     53   1.1  maxv 	[MM_PROT_EXECUTE] = PG_RO,
     54   1.1  maxv 	/* RWX does not exist */
     55   1.1  maxv };
     56   1.1  maxv 
     57   1.6  maxv struct bootspace bootspace;
     58   1.6  maxv 
     59   1.1  maxv extern paddr_t kernpa_start, kernpa_end;
     60   1.1  maxv vaddr_t iom_base;
     61   1.1  maxv 
     62   1.1  maxv paddr_t pa_avail = 0;
     63   1.2  maxv static const vaddr_t tmpva = (PREKERNBASE + NKL2_KIMG_ENTRIES * NBPD_L2);
     64   1.1  maxv 
     65   1.1  maxv void
     66   1.1  maxv mm_init(paddr_t first_pa)
     67   1.1  maxv {
     68   1.1  maxv 	pa_avail = first_pa;
     69   1.1  maxv }
     70   1.1  maxv 
     71   1.1  maxv static void
     72   1.1  maxv mm_enter_pa(paddr_t pa, vaddr_t va, pte_prot_t prot)
     73   1.1  maxv {
     74   1.1  maxv 	PTE_BASE[pl1_i(va)] = pa | PG_V | protection_codes[prot];
     75   1.1  maxv }
     76   1.1  maxv 
     77   1.1  maxv static void
     78   1.1  maxv mm_flush_va(vaddr_t va)
     79   1.1  maxv {
     80   1.1  maxv 	asm volatile("invlpg (%0)" ::"r" (va) : "memory");
     81   1.1  maxv }
     82   1.1  maxv 
     83   1.2  maxv static paddr_t
     84   1.2  maxv mm_palloc(size_t npages)
     85   1.2  maxv {
     86   1.2  maxv 	paddr_t pa;
     87   1.2  maxv 	size_t i;
     88   1.2  maxv 
     89   1.2  maxv 	/* Allocate the physical pages */
     90   1.2  maxv 	pa = pa_avail;
     91   1.2  maxv 	pa_avail += npages * PAGE_SIZE;
     92   1.2  maxv 
     93   1.2  maxv 	/* Zero them out */
     94   1.2  maxv 	for (i = 0; i < npages; i++) {
     95   1.2  maxv 		mm_enter_pa(pa + i * PAGE_SIZE, tmpva,
     96   1.2  maxv 		    MM_PROT_READ|MM_PROT_WRITE);
     97   1.2  maxv 		mm_flush_va(tmpva);
     98   1.2  maxv 		memset((void *)tmpva, 0, PAGE_SIZE);
     99   1.2  maxv 	}
    100   1.2  maxv 
    101   1.2  maxv 	return pa;
    102   1.2  maxv }
    103   1.2  maxv 
    104   1.3  maxv static bool
    105   1.3  maxv mm_pte_is_valid(pt_entry_t pte)
    106   1.3  maxv {
    107   1.3  maxv 	return ((pte & PG_V) != 0);
    108   1.3  maxv }
    109   1.3  maxv 
    110   1.8  maxv static void
    111  1.17  maxv mm_mprotect(vaddr_t startva, size_t size, pte_prot_t prot)
    112   1.1  maxv {
    113   1.1  maxv 	size_t i, npages;
    114   1.1  maxv 	vaddr_t va;
    115   1.1  maxv 	paddr_t pa;
    116   1.1  maxv 
    117   1.1  maxv 	ASSERT(size % PAGE_SIZE == 0);
    118   1.1  maxv 	npages = size / PAGE_SIZE;
    119   1.1  maxv 
    120   1.1  maxv 	for (i = 0; i < npages; i++) {
    121   1.1  maxv 		va = startva + i * PAGE_SIZE;
    122   1.1  maxv 		pa = (PTE_BASE[pl1_i(va)] & PG_FRAME);
    123   1.1  maxv 		mm_enter_pa(pa, va, prot);
    124   1.1  maxv 		mm_flush_va(va);
    125   1.1  maxv 	}
    126   1.1  maxv }
    127   1.1  maxv 
    128   1.8  maxv void
    129  1.13  maxv mm_bootspace_mprotect(void)
    130   1.8  maxv {
    131  1.17  maxv 	pte_prot_t prot;
    132  1.10  maxv 	size_t i;
    133  1.10  maxv 
    134  1.10  maxv 	/* Remap the kernel segments with proper permissions. */
    135  1.10  maxv 	for (i = 0; i < BTSPACE_NSEGS; i++) {
    136  1.10  maxv 		if (bootspace.segs[i].type == BTSEG_TEXT) {
    137  1.10  maxv 			prot = MM_PROT_READ|MM_PROT_EXECUTE;
    138  1.10  maxv 		} else if (bootspace.segs[i].type == BTSEG_RODATA) {
    139  1.10  maxv 			prot = MM_PROT_READ;
    140  1.10  maxv 		} else {
    141  1.10  maxv 			continue;
    142  1.10  maxv 		}
    143  1.10  maxv 		mm_mprotect(bootspace.segs[i].va, bootspace.segs[i].sz, prot);
    144  1.10  maxv 	}
    145   1.8  maxv 
    146   1.8  maxv 	print_state(true, "Segments protection updated");
    147   1.8  maxv }
    148   1.8  maxv 
    149   1.5  maxv static size_t
    150   1.5  maxv mm_nentries_range(vaddr_t startva, vaddr_t endva, size_t pgsz)
    151   1.5  maxv {
    152   1.5  maxv 	size_t npages;
    153   1.5  maxv 
    154   1.5  maxv 	npages = roundup((endva / PAGE_SIZE), (pgsz / PAGE_SIZE)) -
    155   1.5  maxv 	    rounddown((startva / PAGE_SIZE), (pgsz / PAGE_SIZE));
    156   1.5  maxv 	return (npages / (pgsz / PAGE_SIZE));
    157   1.5  maxv }
    158   1.5  maxv 
    159   1.1  maxv static void
    160   1.2  maxv mm_map_tree(vaddr_t startva, vaddr_t endva)
    161   1.1  maxv {
    162   1.5  maxv 	size_t i, nL4e, nL3e, nL2e;
    163   1.1  maxv 	size_t L4e_idx, L3e_idx, L2e_idx;
    164   1.3  maxv 	paddr_t pa;
    165   1.3  maxv 
    166  1.18  maxv 	/* Build L4. */
    167   1.3  maxv 	L4e_idx = pl4_i(startva);
    168   1.5  maxv 	nL4e = mm_nentries_range(startva, endva, NBPD_L4);
    169   1.3  maxv 	ASSERT(L4e_idx == 511);
    170   1.2  maxv 	ASSERT(nL4e == 1);
    171   1.3  maxv 	if (!mm_pte_is_valid(L4_BASE[L4e_idx])) {
    172   1.3  maxv 		pa = mm_palloc(1);
    173   1.3  maxv 		L4_BASE[L4e_idx] = pa | PG_V | PG_RW;
    174   1.3  maxv 	}
    175   1.1  maxv 
    176  1.18  maxv 	/* Build L3. */
    177   1.3  maxv 	L3e_idx = pl3_i(startva);
    178   1.5  maxv 	nL3e = mm_nentries_range(startva, endva, NBPD_L3);
    179   1.3  maxv 	for (i = 0; i < nL3e; i++) {
    180   1.3  maxv 		if (mm_pte_is_valid(L3_BASE[L3e_idx+i])) {
    181   1.3  maxv 			continue;
    182   1.3  maxv 		}
    183   1.3  maxv 		pa = mm_palloc(1);
    184   1.3  maxv 		L3_BASE[L3e_idx+i] = pa | PG_V | PG_RW;
    185   1.3  maxv 	}
    186   1.1  maxv 
    187  1.18  maxv 	/* Build L2. */
    188   1.3  maxv 	L2e_idx = pl2_i(startva);
    189   1.5  maxv 	nL2e = mm_nentries_range(startva, endva, NBPD_L2);
    190   1.2  maxv 	for (i = 0; i < nL2e; i++) {
    191   1.3  maxv 		if (mm_pte_is_valid(L2_BASE[L2e_idx+i])) {
    192   1.3  maxv 			continue;
    193   1.3  maxv 		}
    194   1.3  maxv 		pa = mm_palloc(1);
    195   1.3  maxv 		L2_BASE[L2e_idx+i] = pa | PG_V | PG_RW;
    196   1.1  maxv 	}
    197   1.1  maxv }
    198   1.1  maxv 
    199   1.1  maxv static vaddr_t
    200  1.17  maxv mm_randva_kregion(size_t size, size_t pagesz)
    201   1.1  maxv {
    202  1.11  maxv 	vaddr_t sva, eva;
    203   1.1  maxv 	vaddr_t randva;
    204   1.1  maxv 	uint64_t rnd;
    205   1.6  maxv 	size_t i;
    206   1.6  maxv 	bool ok;
    207   1.6  maxv 
    208   1.6  maxv 	while (1) {
    209  1.19  maxv 		prng_get_rand(&rnd, sizeof(rnd));
    210   1.6  maxv 		randva = rounddown(KASLR_WINDOW_BASE +
    211  1.17  maxv 		    rnd % (KASLR_WINDOW_SIZE - size), pagesz);
    212   1.6  maxv 
    213   1.6  maxv 		/* Detect collisions */
    214   1.6  maxv 		ok = true;
    215  1.11  maxv 		for (i = 0; i < BTSPACE_NSEGS; i++) {
    216  1.11  maxv 			if (bootspace.segs[i].type == BTSEG_NONE) {
    217  1.11  maxv 				continue;
    218  1.11  maxv 			}
    219  1.11  maxv 			sva = bootspace.segs[i].va;
    220  1.11  maxv 			eva = sva + bootspace.segs[i].sz;
    221  1.11  maxv 
    222  1.11  maxv 			if ((sva <= randva) && (randva < eva)) {
    223   1.6  maxv 				ok = false;
    224   1.6  maxv 				break;
    225   1.6  maxv 			}
    226  1.11  maxv 			if ((sva < randva + size) && (randva + size <= eva)) {
    227   1.6  maxv 				ok = false;
    228   1.6  maxv 				break;
    229   1.6  maxv 			}
    230   1.6  maxv 		}
    231   1.6  maxv 		if (ok) {
    232   1.6  maxv 			break;
    233   1.6  maxv 		}
    234   1.6  maxv 	}
    235   1.1  maxv 
    236   1.2  maxv 	mm_map_tree(randva, randva + size);
    237   1.1  maxv 
    238   1.1  maxv 	return randva;
    239   1.1  maxv }
    240   1.1  maxv 
    241  1.10  maxv static paddr_t
    242  1.13  maxv bootspace_getend(void)
    243  1.10  maxv {
    244  1.10  maxv 	paddr_t pa, max = 0;
    245  1.10  maxv 	size_t i;
    246  1.10  maxv 
    247  1.10  maxv 	for (i = 0; i < BTSPACE_NSEGS; i++) {
    248  1.10  maxv 		if (bootspace.segs[i].type == BTSEG_NONE) {
    249  1.10  maxv 			continue;
    250  1.10  maxv 		}
    251  1.10  maxv 		pa = bootspace.segs[i].pa + bootspace.segs[i].sz;
    252  1.10  maxv 		if (pa > max)
    253  1.10  maxv 			max = pa;
    254  1.10  maxv 	}
    255  1.10  maxv 
    256  1.10  maxv 	return max;
    257  1.10  maxv }
    258  1.10  maxv 
    259  1.10  maxv static void
    260  1.10  maxv bootspace_addseg(int type, vaddr_t va, paddr_t pa, size_t sz)
    261  1.10  maxv {
    262  1.10  maxv 	size_t i;
    263  1.10  maxv 
    264  1.10  maxv 	for (i = 0; i < BTSPACE_NSEGS; i++) {
    265  1.10  maxv 		if (bootspace.segs[i].type == BTSEG_NONE) {
    266  1.10  maxv 			bootspace.segs[i].type = type;
    267  1.10  maxv 			bootspace.segs[i].va = va;
    268  1.10  maxv 			bootspace.segs[i].pa = pa;
    269  1.10  maxv 			bootspace.segs[i].sz = sz;
    270  1.10  maxv 			return;
    271  1.10  maxv 		}
    272  1.10  maxv 	}
    273  1.10  maxv 
    274  1.10  maxv 	fatal("bootspace_addseg: segments full");
    275  1.10  maxv }
    276  1.10  maxv 
    277  1.14  maxv static size_t
    278  1.14  maxv mm_shift_segment(vaddr_t va, size_t pagesz, size_t elfsz, size_t elfalign)
    279  1.14  maxv {
    280  1.14  maxv 	size_t shiftsize, offset;
    281  1.14  maxv 	uint64_t rnd;
    282  1.14  maxv 
    283  1.14  maxv 	if (elfalign == 0) {
    284  1.14  maxv 		elfalign = ELFROUND;
    285  1.14  maxv 	}
    286  1.14  maxv 
    287  1.17  maxv 	ASSERT(pagesz >= elfalign);
    288  1.17  maxv 	ASSERT(pagesz % elfalign == 0);
    289  1.14  maxv 	shiftsize = roundup(elfsz, pagesz) - roundup(elfsz, elfalign);
    290  1.14  maxv 	if (shiftsize == 0) {
    291  1.14  maxv 		return 0;
    292  1.14  maxv 	}
    293  1.14  maxv 
    294  1.19  maxv 	prng_get_rand(&rnd, sizeof(rnd));
    295  1.14  maxv 	offset = roundup(rnd % shiftsize, elfalign);
    296  1.14  maxv 	ASSERT((va + offset) % elfalign == 0);
    297  1.14  maxv 
    298  1.14  maxv 	memmove((void *)(va + offset), (void *)va, elfsz);
    299  1.14  maxv 
    300  1.14  maxv 	return offset;
    301  1.14  maxv }
    302  1.14  maxv 
    303  1.18  maxv static void
    304  1.18  maxv mm_map_head(void)
    305  1.18  maxv {
    306  1.18  maxv 	size_t i, npages, size;
    307  1.18  maxv 	uint64_t rnd;
    308  1.18  maxv 	vaddr_t randva;
    309  1.18  maxv 
    310  1.18  maxv 	/*
    311  1.18  maxv 	 * To get the size of the head, we give a look at the read-only
    312  1.18  maxv 	 * mapping of the kernel we created in locore. We're identity mapped,
    313  1.18  maxv 	 * so kernpa = kernva.
    314  1.18  maxv 	 */
    315  1.18  maxv 	size = elf_get_head_size((vaddr_t)kernpa_start);
    316  1.18  maxv 	npages = size / PAGE_SIZE;
    317  1.18  maxv 
    318  1.19  maxv 	prng_get_rand(&rnd, sizeof(rnd));
    319  1.18  maxv 	randva = rounddown(HEAD_WINDOW_BASE + rnd % (HEAD_WINDOW_SIZE - size),
    320  1.18  maxv 	    PAGE_SIZE);
    321  1.18  maxv 	mm_map_tree(randva, randva + size);
    322  1.18  maxv 
    323  1.18  maxv 	/* Enter the area and build the ELF info */
    324  1.18  maxv 	for (i = 0; i < npages; i++) {
    325  1.18  maxv 		mm_enter_pa(kernpa_start + i * PAGE_SIZE,
    326  1.18  maxv 		    randva + i * PAGE_SIZE, MM_PROT_READ|MM_PROT_WRITE);
    327  1.18  maxv 	}
    328  1.18  maxv 	elf_build_head(randva);
    329  1.18  maxv 
    330  1.18  maxv 	/* Register the values in bootspace */
    331  1.18  maxv 	bootspace.head.va = randva;
    332  1.18  maxv 	bootspace.head.pa = kernpa_start;
    333  1.18  maxv 	bootspace.head.sz = size;
    334  1.18  maxv }
    335  1.18  maxv 
    336  1.12  maxv vaddr_t
    337  1.14  maxv mm_map_segment(int segtype, paddr_t pa, size_t elfsz, size_t elfalign)
    338   1.1  maxv {
    339  1.14  maxv 	size_t i, npages, size, pagesz, offset;
    340   1.6  maxv 	vaddr_t randva;
    341  1.12  maxv 	char pad;
    342   1.6  maxv 
    343  1.16  maxv 	if (elfsz <= PAGE_SIZE) {
    344  1.14  maxv 		pagesz = NBPD_L1;
    345  1.14  maxv 	} else {
    346  1.14  maxv 		pagesz = NBPD_L2;
    347  1.14  maxv 	}
    348  1.14  maxv 
    349  1.14  maxv 	size = roundup(elfsz, pagesz);
    350  1.14  maxv 	randva = mm_randva_kregion(size, pagesz);
    351  1.14  maxv 
    352   1.6  maxv 	npages = size / PAGE_SIZE;
    353   1.6  maxv 	for (i = 0; i < npages; i++) {
    354   1.6  maxv 		mm_enter_pa(pa + i * PAGE_SIZE,
    355   1.6  maxv 		    randva + i * PAGE_SIZE, MM_PROT_READ|MM_PROT_WRITE);
    356   1.6  maxv 	}
    357   1.6  maxv 
    358  1.14  maxv 	offset = mm_shift_segment(randva, pagesz, elfsz, elfalign);
    359  1.14  maxv 	ASSERT(offset + elfsz <= size);
    360  1.14  maxv 
    361  1.17  maxv 	pad = pads[segtype];
    362  1.14  maxv 	memset((void *)randva, pad, offset);
    363  1.14  maxv 	memset((void *)(randva + offset + elfsz), pad, size - elfsz - offset);
    364   1.6  maxv 
    365  1.12  maxv 	bootspace_addseg(segtype, randva, pa, size);
    366   1.9  maxv 
    367  1.14  maxv 	return (randva + offset);
    368   1.6  maxv }
    369   1.6  maxv 
    370   1.6  maxv static void
    371  1.13  maxv mm_map_boot(void)
    372   1.6  maxv {
    373   1.6  maxv 	size_t i, npages, size;
    374   1.6  maxv 	vaddr_t randva;
    375   1.6  maxv 	paddr_t bootpa;
    376   1.6  maxv 
    377   1.6  maxv 	/*
    378   1.6  maxv 	 * The "boot" region is special: its page tree has a fixed size, but
    379   1.6  maxv 	 * the number of pages entered is lower.
    380   1.6  maxv 	 */
    381   1.6  maxv 
    382   1.6  maxv 	/* Create the page tree */
    383   1.6  maxv 	size = (NKL2_KIMG_ENTRIES + 1) * NBPD_L2;
    384  1.14  maxv 	randva = mm_randva_kregion(size, PAGE_SIZE);
    385   1.6  maxv 
    386   1.6  maxv 	/* Enter the area and build the ELF info */
    387  1.10  maxv 	bootpa = bootspace_getend();
    388   1.6  maxv 	size = (pa_avail - bootpa);
    389   1.6  maxv 	npages = size / PAGE_SIZE;
    390   1.6  maxv 	for (i = 0; i < npages; i++) {
    391   1.6  maxv 		mm_enter_pa(bootpa + i * PAGE_SIZE,
    392   1.6  maxv 		    randva + i * PAGE_SIZE, MM_PROT_READ|MM_PROT_WRITE);
    393   1.1  maxv 	}
    394   1.6  maxv 	elf_build_boot(randva, bootpa);
    395   1.1  maxv 
    396   1.1  maxv 	/* Enter the ISA I/O MEM */
    397   1.6  maxv 	iom_base = randva + npages * PAGE_SIZE;
    398   1.1  maxv 	npages = IOM_SIZE / PAGE_SIZE;
    399   1.1  maxv 	for (i = 0; i < npages; i++) {
    400   1.1  maxv 		mm_enter_pa(IOM_BEGIN + i * PAGE_SIZE,
    401   1.1  maxv 		    iom_base + i * PAGE_SIZE, MM_PROT_READ|MM_PROT_WRITE);
    402   1.1  maxv 	}
    403   1.1  maxv 
    404   1.6  maxv 	/* Register the values in bootspace */
    405   1.6  maxv 	bootspace.boot.va = randva;
    406   1.6  maxv 	bootspace.boot.pa = bootpa;
    407   1.6  maxv 	bootspace.boot.sz = (size_t)(iom_base + IOM_SIZE) -
    408   1.6  maxv 	    (size_t)bootspace.boot.va;
    409   1.6  maxv 
    410   1.6  maxv 	/* Initialize the values that are located in the "boot" region */
    411   1.6  maxv 	extern uint64_t PDPpaddr;
    412   1.6  maxv 	bootspace.spareva = bootspace.boot.va + NKL2_KIMG_ENTRIES * NBPD_L2;
    413   1.6  maxv 	bootspace.pdir = bootspace.boot.va + (PDPpaddr - bootspace.boot.pa);
    414   1.6  maxv 	bootspace.emodule = bootspace.boot.va + NKL2_KIMG_ENTRIES * NBPD_L2;
    415   1.1  maxv }
    416   1.6  maxv 
    417   1.6  maxv /*
    418  1.18  maxv  * There is a variable number of independent regions: one head, several kernel
    419  1.18  maxv  * segments, one boot. They are all mapped at random VAs.
    420   1.6  maxv  *
    421   1.6  maxv  * Head contains the ELF Header and ELF Section Headers, and we use them to
    422   1.6  maxv  * map the rest of the regions. Head must be placed in memory *before* the
    423   1.6  maxv  * other regions.
    424   1.6  maxv  *
    425   1.6  maxv  * At the end of this function, the bootspace structure is fully constructed.
    426   1.6  maxv  */
    427   1.6  maxv void
    428  1.13  maxv mm_map_kernel(void)
    429   1.6  maxv {
    430   1.6  maxv 	memset(&bootspace, 0, sizeof(bootspace));
    431   1.6  maxv 	mm_map_head();
    432   1.7  maxv 	print_state(true, "Head region mapped");
    433  1.12  maxv 	elf_map_sections();
    434   1.7  maxv 	print_state(true, "Segments mapped");
    435   1.6  maxv 	mm_map_boot();
    436   1.7  maxv 	print_state(true, "Boot region mapped");
    437   1.6  maxv }
    438