VIRT_IS_VALID
KASSERT(VIRT_IS_VALID(va), ("pmap_fault: invalid va %#lx", va));
KASSERT(VIRT_IS_VALID(va),
KASSERT(VIRT_IS_VALID(va),
if (!VIRT_IS_VALID(stval)) {
if (VIRT_IS_VALID(va) && pmap_fault(map->pmap, va, ftype))