diff options
| author | Mole Shang <[email protected]> | 2024-02-10 13:08:26 +0800 |
|---|---|---|
| committer | Mole Shang <[email protected]> | 2024-02-10 13:08:26 +0800 |
| commit | c9284cd93525436cc823258ab309c1b27eeec714 (patch) | |
| tree | 35782f7314100aa821823ee94cc5d28164af8000 /kernel/defs.h | |
| parent | 283d5ab4c964ab525e45fcade06d6fd7e977c43e (diff) | |
| download | xv6-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.h | 2 |
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); |