child             286 kernel/vm.c          uint64 child = PTE2PA(pte);
child             287 kernel/vm.c          freewalk((pagetable_t)child);