mappages          157 kernel/defs.h  int             mappages(pagetable_t, uint64, uint64, uint64, int);
mappages          190 kernel/proc.c    if(mappages(pagetable, TRAMPOLINE, PGSIZE,
mappages          198 kernel/proc.c    if(mappages(pagetable, TRAPFRAME, PGSIZE,
mappages           60 kernel/vm.c      if(mappages(kpgtbl, va, sz, pa, perm) != 0)
mappages          233 kernel/vm.c        if(mappages(pagetable, a, PGSIZE, (uint64)mem, PTE_R|PTE_U|xperm) != 0){
mappages          314 kernel/vm.c        if(mappages(new, i, PGSIZE, (uint64)mem, flags) != 0){
mappages          468 kernel/vm.c      if (mappages(p->pagetable, va, PGSIZE, mem, PTE_W|PTE_U|PTE_R) != 0) {