vmfault           172 kernel/defs.h  uint64          vmfault(pagetable_t, uint64, uint64, int);
vmfault            72 kernel/trap.c               vmfault(p->pagetable, p->sz, r_stval(),
vmfault           357 kernel/vm.c          if ((pa0 = vmfault(pagetable, psz, va0, 0)) == 0) {
vmfault           391 kernel/vm.c          if ((pa0 = vmfault(pagetable, psz, va0, 1)) == 0) {
vmfault           422 kernel/vm.c          if ((pa0 = vmfault(pagetable, psz, va0, 1)) == 0) {