prekern.h revision 1.17 1 /* $NetBSD: prekern.h,v 1.17 2017/11/26 10:21:20 maxv Exp $ */
2
3 /*
4 * Copyright (c) 2017 The NetBSD Foundation, Inc. All rights reserved.
5 *
6 * This code is derived from software contributed to The NetBSD Foundation
7 * by Maxime Villard.
8 *
9 * Redistribution and use in source and binary forms, with or without
10 * modification, are permitted provided that the following conditions
11 * are met:
12 * 1. Redistributions of source code must retain the above copyright
13 * notice, this list of conditions and the following disclaimer.
14 * 2. Redistributions in binary form must reproduce the above copyright
15 * notice, this list of conditions and the following disclaimer in the
16 * documentation and/or other materials provided with the distribution.
17 *
18 * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS
19 * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
20 * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
21 * PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS
22 * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
23 * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
24 * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
25 * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
26 * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
27 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
28 * POSSIBILITY OF SUCH DAMAGE.
29 */
30
31 #include <sys/cdefs.h>
32 #include <sys/param.h>
33 #include <sys/stdbool.h>
34 #include <lib/libkern/libkern.h>
35 #include <machine/pte.h>
36
37 #include "pdir.h"
38 #include "redef.h"
39
40 #define ASSERT(a) if (!(a)) fatal("ASSERT");
41 typedef uint64_t paddr_t;
42 typedef uint64_t vaddr_t;
43 typedef uint64_t pt_entry_t;
44 typedef uint64_t pte_prot_t;
45 #define WHITE_ON_BLACK 0x07
46 #define RED_ON_BLACK 0x04
47 #define GREEN_ON_BLACK 0x02
48
49 #define HEAD_WINDOW_BASE (KERNBASE - NBPD_L3)
50 #define HEAD_WINDOW_SIZE NBPD_L3
51
52 #define KASLR_WINDOW_BASE KERNBASE /* max - 2GB */
53 #define KASLR_WINDOW_SIZE (2LLU * (1 << 30)) /* 2GB */
54
55 /* -------------------------------------------------------------------------- */
56
57 #define BTSEG_NONE 0
58 #define BTSEG_TEXT 1
59 #define BTSEG_RODATA 2
60 #define BTSEG_DATA 3
61 #define BTSPACE_NSEGS 64
62 struct bootspace {
63 struct {
64 vaddr_t va;
65 paddr_t pa;
66 size_t sz;
67 } head;
68 struct {
69 int type;
70 vaddr_t va;
71 paddr_t pa;
72 size_t sz;
73 } segs[BTSPACE_NSEGS];
74 struct {
75 vaddr_t va;
76 paddr_t pa;
77 size_t sz;
78 } boot;
79 vaddr_t spareva;
80 vaddr_t pdir;
81 vaddr_t emodule;
82 };
83
84 /* console.c */
85 void init_cons(void);
86 void print_ext(int, char *);
87 void print(char *);
88 void print_state(bool, char *);
89 void print_banner(void);
90
91 /* elf.c */
92 size_t elf_get_head_size(vaddr_t);
93 void elf_build_head(vaddr_t);
94 void elf_map_sections(void);
95 void elf_build_boot(vaddr_t, paddr_t);
96 vaddr_t elf_kernel_reloc(void);
97
98 /* locore.S */
99 void cpuid(uint32_t, uint32_t, uint32_t *);
100 void lidt(void *);
101 uint64_t rdtsc(void);
102 int rdseed(uint64_t *);
103 int rdrand(uint64_t *);
104 void jump_kernel(vaddr_t);
105
106 /* mm.c */
107 void mm_init(paddr_t);
108 void mm_bootspace_mprotect(void);
109 vaddr_t mm_map_segment(int, paddr_t, size_t, size_t);
110 void mm_map_kernel(void);
111
112 /* prekern.c */
113 void fatal(char *);
114