oldpagetable       35 kernel/exec.c    pagetable_t pagetable = 0, oldpagetable;
oldpagetable      131 kernel/exec.c    oldpagetable = p->pagetable;
oldpagetable      136 kernel/exec.c    proc_freepagetable(oldpagetable, oldsz);