hat_unlock_region
void hat_unlock_region(struct hat *, caddr_t, size_t, hat_region_cookie_t);
hat_unlock_region(seg->s_as->a_hat, addr, len, svd->rcookie);