hat_unlock
void hat_unlock(struct hat *, caddr_t, size_t);
hat_unlock(hat, addr, len);
hat_unlock(kas.a_hat, addr, PAGESIZE);
hat_unlock(hat, addr, P2ROUNDUP(len, PAGESIZE));
hat_unlock(sptseg->s_as->a_hat, sptseg_addr, len);
hat_unlock(seg->s_as->a_hat, addr, len);
hat_unlock(hat, addr, len);
hat_unlock(sfmmup, addr, len);