summaryrefslogtreecommitdiff
path: root/kernel/defs.h
diff options
context:
space:
mode:
authorMole Shang <[email protected]>2024-02-10 13:08:26 +0800
committerMole Shang <[email protected]>2024-02-10 13:08:26 +0800
commitc9284cd93525436cc823258ab309c1b27eeec714 (patch)
tree35782f7314100aa821823ee94cc5d28164af8000 /kernel/defs.h
parent283d5ab4c964ab525e45fcade06d6fd7e977c43e (diff)
downloadxv6-labs-c9284cd93525436cc823258ab309c1b27eeec714.tar.gz
xv6-labs-c9284cd93525436cc823258ab309c1b27eeec714.tar.bz2
xv6-labs-c9284cd93525436cc823258ab309c1b27eeec714.zip
lab pgtbl: finishpgtbl
Diffstat (limited to 'kernel/defs.h')
-rw-r--r--kernel/defs.h2
1 files changed, 2 insertions, 0 deletions
diff --git a/kernel/defs.h b/kernel/defs.h
index c8eeef3..bd85d1f 100644
--- a/kernel/defs.h
+++ b/kernel/defs.h
@@ -109,6 +109,7 @@ int either_copyout(int user_dst, uint64 dst, void *src, uint64 len);
int either_copyin(void *dst, int user_src, uint64 src, uint64 len);
void procdump(void);
int get_nproc(void);
+int pgaccess(uint64 base, int len, uint64 mask);
// swtch.S
void swtch(struct context*, struct context*);
@@ -179,6 +180,7 @@ uint64 walkaddr(pagetable_t, uint64);
int copyout(pagetable_t, uint64, char *, uint64);
int copyin(pagetable_t, char *, uint64, uint64);
int copyinstr(pagetable_t, char *, uint64, uint64);
+void vmprint(pagetable_t);
// plic.c
void plicinit(void);