hat_join_region
hat_region_cookie_t hat_join_region(struct hat *, caddr_t, size_t, void *,
svd->rcookie = hat_join_region(seg->s_as->a_hat, seg->s_base,
rcookie = hat_join_region(sfmmup, addr, len, (void *)ism_hatid, 0,