hat_softlock
res = hat_softlock(hat, uaddr, &size, &ppp[0], cow ? HAT_COW : 0);
faultcode_t hat_softlock(struct hat *, caddr_t, size_t *,