diff options
Diffstat (limited to 'kernel/defs.h')
| -rw-r--r-- | kernel/defs.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/kernel/defs.h b/kernel/defs.h index 3172cb3..fb2672e 100644 --- a/kernel/defs.h +++ b/kernel/defs.h @@ -192,9 +192,10 @@ void unmappages(pagetable_t, uint64, uint64, int); uint64 walkaddr(pagetable_t, uint64); int copyout(pagetable_t, uint64, char *, uint64); int copyin(pagetable_t, char *, uint64, uint64); -int copyinstr(pagetable_t pagetable, char *dst, uint64 srcva, uint64 max); +int copyinstr(pagetable_t, char *, uint64, uint64); char* map_kstack(); uint64 kernelpa(uint64); +void clearpteu(pagetable_t, uint64); // plic.c void plicinit(void); |