child             272 kernel/vm.c          uint64 child = PTE2PA(pte);
child             273 kernel/vm.c          freewalk((pagetable_t)child);