VM_FAULT_NORMAL
fault_type, VM_FAULT_NORMAL,
fault_flags = VM_FAULT_NORMAL;
fault_flags |= VM_FAULT_NORMAL;
fault_flags = VM_FAULT_NORMAL;
rv = vm_fault(map, va, ftype, VM_FAULT_NORMAL);
kprintf("B-HELD TOKENS DURING PFAULT td=%p(%s) map=%p va=%p ftype=%d fault_flags=%d\n", td, td->td_comm, map, (void *)va, ftype, VM_FAULT_NORMAL);
VM_FAULT_NORMAL,
VM_FAULT_NORMAL,
VM_FAULT_NORMAL,
VM_FAULT_NORMAL,
VM_FAULT_NORMAL,
VM_FAULT_NORMAL,
VM_FAULT_NORMAL,
VM_FAULT_NORMAL,
VM_FAULT_NORMAL,
fault_flags |= VM_FAULT_NORMAL;
rv = vm_fault(map, va, ftype, VM_FAULT_NORMAL);
VM_FAULT_NORMAL,
fault_type, VM_FAULT_NORMAL,
fs.fault_flags = VM_FAULT_NORMAL;