pmap_fault_fixup
if (pmap_fault_fixup(map->pmap, va, access_type))
if (!pmap_fault_fixup(map->pmap, va, access_type)) {
int pmap_fault_fixup(pmap_t, vaddr_t, vm_prot_t);
int pmap_fault_fixup(pmap_t, vaddr_t, vm_prot_t);
if (pmap_fault_fixup(map->pmap, va, access_type))
if (!pmap_fault_fixup(map->pmap, va, access_type)) {