put walk() in defs.h so it's clear students can call it

This commit is contained in:
Robert Morris 2022-08-10 06:41:00 -04:00 committed by Frans Kaashoek
parent 143cde639d
commit c908d20132

View file

@ -166,6 +166,7 @@ int uvmcopy(pagetable_t, pagetable_t, uint64);
void uvmfree(pagetable_t, uint64);
void uvmunmap(pagetable_t, uint64, uint64, int);
void uvmclear(pagetable_t, uint64);
pte_t * walk(pagetable_t, uint64, int);
uint64 walkaddr(pagetable_t, uint64);
int copyout(pagetable_t, uint64, char *, uint64);
int copyin(pagetable_t, char *, uint64, uint64);