as_faulta
(void) as_faulta(as, addr, len);
fc = as_faulta(as, addr, len);
faultcode_t as_faulta(struct as *as, caddr_t addr, size_t size);