freewalk          273 kernel/vm.c          freewalk((pagetable_t)child);
freewalk          289 kernel/vm.c      freewalk(pagetable);