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);