VM_FAULT_WIRE_MASK
KKASSERT((fault_flags & VM_FAULT_WIRE_MASK) == 0);
(fs.fault_flags & VM_FAULT_WIRE_MASK) != VM_FAULT_USER_WIRE)
KKASSERT((fault_flags & VM_FAULT_WIRE_MASK) == 0);
(((fs->fault_flags & VM_FAULT_WIRE_MASK) == 0)))
(fs.fault_flags & VM_FAULT_WIRE_MASK) != VM_FAULT_USER_WIRE)
KKASSERT((fs.fault_flags & VM_FAULT_WIRE_MASK) == 0);
if (fs.fault_flags & VM_FAULT_WIRE_MASK) {
(fs.fault_flags & VM_FAULT_WIRE_MASK) == 0 &&
if (fs->fault_flags & VM_FAULT_WIRE_MASK)