mappages          162 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          134 kernel/vm.c      if(mappages(kpgtbl, va, sz, pa, perm) != 0)
mappages          226 kernel/vm.c      mappages(pagetable, 0, PGSIZE, (uint64)mem, PTE_W|PTE_R|PTE_X|PTE_U);
mappages          249 kernel/vm.c        if(mappages(pagetable, a, PGSIZE, (uint64)mem, PTE_R|PTE_U|xperm) != 0){
mappages          330 kernel/vm.c        if(mappages(new, i, PGSIZE, (uint64)mem, flags) != 0){