summaryrefslogtreecommitdiff
path: root/kernel/defs.h
diff options
context:
space:
mode:
authorFrans Kaashoek <[email protected]>2020-10-14 20:03:14 -0400
committerFrans Kaashoek <[email protected]>2020-10-14 20:03:14 -0400
commitc64aa44d7b5167f5b061b1e2fdf94d240a98b2bb (patch)
tree4affac88b8f5076999e22b2801da710ab6fadffc /kernel/defs.h
parent806580d6423274e7b38329362f64a549e04ddbab (diff)
downloadxv6-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.h3
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);