mappages          158 kernel/defs.h  int             mappages(pagetable_t, uint64, uint64, uint64, int);
mappages          189 kernel/proc.c    if (mappages(pagetable, TRAMPOLINE, PGSIZE, (uint64)trampoline,
mappages          197 kernel/proc.c    if (mappages(pagetable, TRAPFRAME, PGSIZE, (uint64)(p->trapframe),
mappages           61 kernel/vm.c      if (mappages(kpgtbl, va, sz, pa, perm) != 0)
mappages          234 kernel/vm.c        if (mappages(pagetable, a, PGSIZE, (uint64)mem, PTE_R | PTE_U | xperm) !=
mappages          316 kernel/vm.c        if (mappages(new, i, PGSIZE, (uint64)mem, flags) != 0) {
mappages          473 kernel/vm.c      if (mappages(pagetable, va, PGSIZE, mem, PTE_W | PTE_U | PTE_R) != 0) {