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:28:16 -0400
commitd4cecb269f2acc61cc1adc11fec2aa690b9c553b (patch)
tree810d6d0ab6ee7c31b42d0635e7f91ba5722cab92 /kernel/defs.h
parent21cfc978096c3ffa2fdd3bde4e698482a5dff6c3 (diff)
downloadxv6-labs-d4cecb269f2acc61cc1adc11fec2aa690b9c553b.tar.gz
xv6-labs-d4cecb269f2acc61cc1adc11fec2aa690b9c553b.tar.bz2
xv6-labs-d4cecb269f2acc61cc1adc11fec2aa690b9c553b.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);