blob: 83c088127bd201647826f245f8eedb5fbf7bd027 (
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
|
/**
** @file vmtables.h
**
** @author CSCI-452 class of 20245
**
** @brief Predefined VM tables
*/
#ifndef VMTABLES_H_
#define VMTABLES_H_
#include <defs.h>
#include <types.h>
#include <vm.h>
#ifndef ASM_SRC
/*
** Initial page directory, for when the kernel is starting up
**
** we use large (4MB) pages here to allow us to use a one-level
** paging hierarchy; the kernel will create a new page table
** hierarchy once memory is initialized
*/
extern pde_t firstpdir[];
/*
** "Identity" page map table.
**
** This just maps the first 4MB of physical memory. It is initialized
** in vm_init().
*/
extern pte_t id_map[];
/*
** Kernel address mappings, present in every page table
*/
extern mapping_t kmap[];
extern const uint32_t n_kmap;
#endif /* !ASM_SRC */
#endif
|
