diff options
author | Frans Kaashoek <[email protected]> | 2020-10-14 20:03:14 -0400 |
---|---|---|
committer | Frans Kaashoek <[email protected]> | 2020-10-14 20:03:14 -0400 |
commit | c64aa44d7b5167f5b061b1e2fdf94d240a98b2bb (patch) | |
tree | 4affac88b8f5076999e22b2801da710ab6fadffc /kernel/defs.h | |
parent | 806580d6423274e7b38329362f64a549e04ddbab (diff) | |
download | xv6-labs-c64aa44d7b5167f5b061b1e2fdf94d240a98b2bb.tar.gz xv6-labs-c64aa44d7b5167f5b061b1e2fdf94d240a98b2bb.tar.bz2 xv6-labs-c64aa44d7b5167f5b061b1e2fdf94d240a98b2bb.zip |
kvmmake() makes a complete kernel page table, matching Figure 3.3
Diffstat (limited to 'kernel/defs.h')
-rw-r--r-- | kernel/defs.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/kernel/defs.h b/kernel/defs.h index 49aafdd..41098f4 100644 --- a/kernel/defs.h +++ b/kernel/defs.h @@ -86,6 +86,7 @@ int cpuid(void); void exit(int); int fork(void); int growproc(int); +void proc_mapstacks(pagetable_t); pagetable_t proc_pagetable(struct proc *); void proc_freepagetable(pagetable_t, uint64); int kill(int); @@ -156,7 +157,7 @@ int uartgetc(void); // vm.c void kvminit(void); void kvminithart(void); -void kvmmap(uint64, uint64, uint64, int); +void kvmmap(pagetable_t, uint64, uint64, uint64, int); int mappages(pagetable_t, uint64, uint64, uint64, int); pagetable_t uvmcreate(void); void uvminit(pagetable_t, uchar *, uint); |