oldpagetable       31 kernel/exec.c    pagetable_t pagetable = 0, oldpagetable;
oldpagetable      124 kernel/exec.c    oldpagetable = p->pagetable;
oldpagetable      129 kernel/exec.c    proc_freepagetable(oldpagetable, oldsz);