oldpagetable       36 kernel/exec.c    pagetable_t pagetable = 0, oldpagetable;
oldpagetable      133 kernel/exec.c    oldpagetable = p->pagetable;
oldpagetable      138 kernel/exec.c    proc_freepagetable(oldpagetable, oldsz);