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