835 	svd->rcookie = HAT_INVALID_REGION_COOKIE;  in segvn_create()
994 		svd->rcookie = hat_join_region(seg->s_as->a_hat, seg->s_base,  in segvn_create()
1028 	if (HAT_IS_REGION_COOKIE_VALID(svd1->rcookie) ||  in segvn_concat()
1029 	    HAT_IS_REGION_COOKIE_VALID(svd2->rcookie)) {  in segvn_concat()
1272 	if (HAT_IS_REGION_COOKIE_VALID(svd1->rcookie)) {
1393 	if (HAT_IS_REGION_COOKIE_VALID(svd2->rcookie)) {  in segvn_extend_next()
1626 	newsvd->rcookie = HAT_INVALID_REGION_COOKIE;  in segvn_dup()
1632 		ASSERT(!HAT_IS_REGION_COOKIE_VALID(svd->rcookie) ||  in segvn_dup()
1644 		ASSERT(svd->rcookie == HAT_INVALID_REGION_COOKIE);  in segvn_dup()
1768 	if (error == 0 && HAT_IS_REGION_COOKIE_VALID(svd->rcookie)) {  in segvn_dup()
1771 		newsvd->rcookie = svd->rcookie;  in segvn_dup()
1772 		hat_dup_region(newseg->s_as->a_hat, newsvd->rcookie);  in segvn_dup()
1920 			if (HAT_IS_REGION_COOKIE_VALID(svd->rcookie)) {  in segvn_unmap()
1924 				    svd->rcookie, HAT_REGION_TEXT);  in segvn_unmap()
1925 				svd->rcookie = HAT_INVALID_REGION_COOKIE;  in segvn_unmap()
1971 	if (HAT_IS_REGION_COOKIE_VALID(svd->rcookie)) {  in segvn_unmap()
1975 		hat_leave_region(seg->s_as->a_hat, svd->rcookie,  in segvn_unmap()
1977 		svd->rcookie = HAT_INVALID_REGION_COOKIE;  in segvn_unmap()
2256 	ASSERT(nsvd->rcookie == HAT_INVALID_REGION_COOKIE);  in segvn_unmap()
2428 	ASSERT(svd->rcookie == HAT_INVALID_REGION_COOKIE);  in segvn_free()
2581 	if (HAT_IS_REGION_COOKIE_VALID(svd->rcookie)) {  in segvn_softunlock()
2583 		hat_unlock_region(seg->s_as->a_hat, addr, len, svd->rcookie);  in segvn_softunlock()
2879 			ASSERT(svd->rcookie == HAT_INVALID_REGION_COOKIE);  in segvn_faultpage()
2986 		ASSERT(svd->rcookie == HAT_INVALID_REGION_COOKIE ||  in segvn_faultpage()
2989 		    svd->rcookie == HAT_INVALID_REGION_COOKIE);  in segvn_faultpage()
2991 		    svd->rcookie);  in segvn_faultpage()
3002 	ASSERT(svd->rcookie == HAT_INVALID_REGION_COOKIE);  in segvn_faultpage()
3037 			ASSERT(svd->rcookie == HAT_INVALID_REGION_COOKIE);  in segvn_faultpage()
3115 	ASSERT(svd->rcookie == HAT_INVALID_REGION_COOKIE);  in segvn_faultpage()
4190 				ASSERT(svd->rcookie ==  in segvn_fault_vnodepages()
4206 			ASSERT(svd->rcookie == HAT_INVALID_REGION_COOKIE ||  in segvn_fault_vnodepages()
4271 					    svd->rcookie);  in segvn_fault_vnodepages()
4386 					    svd->rcookie);  in segvn_fault_vnodepages()
4392 						    hat_flag, svd->rcookie);  in segvn_fault_vnodepages()
4451 				    prot & vpprot, hat_flag, svd->rcookie);  in segvn_fault_vnodepages()
4506 					    svd->rcookie);  in segvn_fault_vnodepages()
4511 				    prot & vpprot, hat_flag, svd->rcookie);  in segvn_fault_vnodepages()
4784 			ASSERT(svd->rcookie == HAT_INVALID_REGION_COOKIE);  in segvn_fault_anonpages()
4965 	ASSERT(svd->amp == NULL || svd->rcookie == HAT_INVALID_REGION_COOKIE);  in segvn_fault()
4986 	    !HAT_IS_REGION_COOKIE_VALID(svd->rcookie));  in segvn_fault()
5056 	if (brkcow && HAT_IS_REGION_COOKIE_VALID(svd->rcookie)) {  in segvn_fault()
5062 		if (HAT_IS_REGION_COOKIE_VALID(svd->rcookie)) {  in segvn_fault()
5068 			hat_leave_region(seg->s_as->a_hat, svd->rcookie,  in segvn_fault()
5070 			svd->rcookie = HAT_INVALID_REGION_COOKIE;  in segvn_fault()
5143 		ASSERT(svd->rcookie == HAT_INVALID_REGION_COOKIE);  in segvn_fault()
5204 		ASSERT(svd->rcookie == HAT_INVALID_REGION_COOKIE);  in segvn_fault()
5608 				    svd->rcookie == HAT_INVALID_REGION_COOKIE);  in segvn_fault()
5613 					    svd->rcookie);  in segvn_fault()
5743 	if (HAT_IS_REGION_COOKIE_VALID(svd->rcookie)) {  in segvn_setprot()
5746 		hat_leave_region(seg->s_as->a_hat, svd->rcookie,  in segvn_setprot()
5748 		svd->rcookie = HAT_INVALID_REGION_COOKIE;  in segvn_setprot()
6196 	if (HAT_IS_REGION_COOKIE_VALID(svd->rcookie)) {  in segvn_setpagesize()
6199 		hat_leave_region(seg->s_as->a_hat, svd->rcookie,  in segvn_setpagesize()
6201 		svd->rcookie = HAT_INVALID_REGION_COOKIE;  in segvn_setpagesize()
6285 		ASSERT(nsvd->rcookie == HAT_INVALID_REGION_COOKIE);  in segvn_setpagesize()
6396 		ASSERT(svd->rcookie == HAT_INVALID_REGION_COOKIE);  in segvn_clrszc()
6401 	if (HAT_IS_REGION_COOKIE_VALID(svd->rcookie)) {  in segvn_clrszc()
6404 		hat_leave_region(seg->s_as->a_hat, svd->rcookie,  in segvn_clrszc()
6406 		svd->rcookie = HAT_INVALID_REGION_COOKIE;  in segvn_clrszc()
6608 	ASSERT(svd->rcookie == HAT_INVALID_REGION_COOKIE);  in segvn_split_seg()
6622 	ASSERT(nsvd->rcookie == HAT_INVALID_REGION_COOKIE);  in segvn_split_seg()
6765 	ASSERT(svd->rcookie == HAT_INVALID_REGION_COOKIE);  in segvn_demote_range()
7752 		ASSERT(svd->rcookie == HAT_INVALID_REGION_COOKIE);  in segvn_lockop()
8122 	    (seg->s_szc != 0 || HAT_IS_REGION_COOKIE_VALID(svd->rcookie))) ||  in segvn_advise()
8330 			ASSERT(svd->rcookie == HAT_INVALID_REGION_COOKIE);  in segvn_advise()
8434 			if (HAT_IS_REGION_COOKIE_VALID(svd->rcookie)) {  in segvn_advise()
8438 				hat_leave_region(seg->s_as->a_hat, svd->rcookie,  in segvn_advise()
8440 				svd->rcookie = HAT_INVALID_REGION_COOKIE;  in segvn_advise()
8564 			ASSERT(svd->rcookie == HAT_INVALID_REGION_COOKIE);  in segvn_advise()
9774 	ASSERT(!HAT_IS_REGION_COOKIE_VALID(svd->rcookie));  in segvn_textrepl()
10055 	ASSERT(!HAT_IS_REGION_COOKIE_VALID(svd->rcookie));  in segvn_textunrepl()
10250 	ASSERT(!HAT_IS_REGION_COOKIE_VALID(svd->rcookie));  in segvn_trupdate_seg()