fix mapkstack

This commit is contained in:
Frans Kaashoek 2019-07-22 20:58:15 -04:00
parent 62091abae9
commit 6c78af4a57
3 changed files with 5 additions and 5 deletions

View file

@ -193,7 +193,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);
char* map_kstack();
char* mapkstack(uint64);
uint64 kernelpa(uint64);
void clearpteu(pagetable_t, uint64);