vmfault           171 kernel/defs.h  uint64          vmfault(pagetable_t, uint64, int);
vmfault            72 kernel/trap.c              vmfault(p->pagetable, r_stval(), (r_scause() == 13)? 1 : 0) != 0) {
vmfault           355 kernel/vm.c          if((pa0 = vmfault(pagetable, va0, 0)) == 0) {
vmfault           389 kernel/vm.c          if((pa0 = vmfault(pagetable, va0, 0)) == 0) {