blob: 0818864cfa564cce6cf925e791d9e73e85a63cd8 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
|
/*
* Copyright (c) 2017 Richard Braun.
*
* This program is free software: you can redistribute it and/or modify
* it under the terms of the GNU General Public License as published by
* the Free Software Foundation, either version 3 of the License, or
* (at your option) any later version.
*
* This program is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
* GNU General Public License for more details.
*
* You should have received a copy of the GNU General Public License
* along with this program. If not, see <http://www.gnu.org/licenses/>.
*
*
* TODO Comment.
*/
#ifndef _VM_VM_PTABLE_H
#define _VM_VM_PTABLE_H
#include <stddef.h>
#include <stdint.h>
#include <machine/pmap.h>
#include <machine/types.h>
struct vm_ptable_cpu_pt {
pmap_pte_t *root;
};
typedef pmap_pte_t (*vm_ptable_make_pte_fn)(phys_addr_t pa, int prot);
struct vm_ptable_level {
unsigned int skip;
unsigned int bits;
unsigned int ptes_per_pt;
vm_ptable_make_pte_fn make_pte_fn;
vm_ptable_make_pte_fn make_ll_pte_fn;
};
struct vm_ptable {
struct vm_ptable_cpu_pt *cpu_pts[CONFIG_MAX_CPUS];
const struct vm_ptable_level *pt_levels;
unsigned int nr_levels;
};
void vm_ptable_init(struct vm_ptable *ptable,
const struct vm_ptable_level *pt_levels,
unsigned int nr_levels);
void vm_ptable_boot_enter(struct vm_ptable *ptable, uintptr_t va,
phys_addr_t pa, size_t pgsize);
pmap_pte_t * vm_ptable_boot_root(const struct vm_ptable *ptable);
#endif /* _VM_VM_PTABLE_H */
|
