196 	uint16_t tsbc;  in iommu_tsb_alloc()  local
199 	tsbc = IOMMU_TSB_COOKIE_NONE;  in iommu_tsb_alloc()
204 			tsbc = (uint16_t)i;  in iommu_tsb_alloc()
213 	return (tsbc);  in iommu_tsb_alloc()
217 iommu_tsb_free(uint16_t tsbc)  in iommu_tsb_free()  argument
219 	ASSERT(tsbc != IOMMU_TSB_COOKIE_NONE);  in iommu_tsb_free()
220 	ASSERT(tsbc < iommu_tsb_num);  in iommu_tsb_free()
222 	if (iommu_tsb_avail[tsbc] == 0) {  in iommu_tsb_free()
223 		cmn_err(CE_PANIC, "iommu_tsb_free(%d): tsb not in use", tsbc);  in iommu_tsb_free()
225 	iommu_tsb_avail[tsbc] = 0;  in iommu_tsb_free()
235 iommu_tsb_cookie_to_size(uint16_t tsbc)  in iommu_tsb_cookie_to_size()  argument
237 	ASSERT(tsbc != IOMMU_TSB_COOKIE_NONE);  in iommu_tsb_cookie_to_size()
238 	ASSERT(tsbc < iommu_tsb_num);  in iommu_tsb_cookie_to_size()
239 	ASSERT(iommu_tsb_avail[tsbc] != 0);  in iommu_tsb_cookie_to_size()
244 iommu_tsb_cookie_to_va(uint16_t tsbc)  in iommu_tsb_cookie_to_va()  argument
246 	ASSERT(tsbc != IOMMU_TSB_COOKIE_NONE);  in iommu_tsb_cookie_to_va()
247 	ASSERT(tsbc < iommu_tsb_num);  in iommu_tsb_cookie_to_va()
248 	ASSERT(iommu_tsb_avail[tsbc] != 0);  in iommu_tsb_cookie_to_va()
249 	return ((uint64_t *)(iommu_tsb_base + (tsbc * iommu_tsb_size)));  in iommu_tsb_cookie_to_va()