proc_freepagetable   91 kernel/defs.h  void            proc_freepagetable(pagetable_t, uint64);
proc_freepagetable  129 kernel/exec.c    proc_freepagetable(oldpagetable, oldsz);
proc_freepagetable  135 kernel/exec.c      proc_freepagetable(pagetable, sz);
proc_freepagetable  162 kernel/proc.c      proc_freepagetable(p->pagetable, p->sz);