freewalk          287 kernel/vm.c          freewalk((pagetable_t)child);
freewalk          303 kernel/vm.c      freewalk(pagetable);