summaryrefslogtreecommitdiff
path: root/kernel/defs.h
diff options
context:
space:
mode:
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);