faulttype         110 kern/arch/mips/vm/dumbvm.c vm_fault(int faulttype, vaddr_t faultaddress)
faulttype         123 kern/arch/mips/vm/dumbvm.c 	switch (faulttype) {
faulttype          52 kern/include/vm.h int vm_fault(int faulttype, vaddr_t faultaddress);