proc_pagetable     87 kernel/defs.h  pagetable_t     proc_pagetable(struct proc *);
proc_pagetable     56 kernel/exec.c    if ((pagetable = proc_pagetable(p)) == 0)
proc_pagetable    136 kernel/proc.c    p->pagetable = proc_pagetable(p);