Searched refs:iommu_tsb_avail (Results 1 – 1 of 1) sorted by relevance
94 static uint16_t iommu_tsb_avail[MAX_TSB_ALLOC]; variable202 if (iommu_tsb_avail[i] == 0) { in iommu_tsb_alloc()203 iommu_tsb_avail[i] = IOMMU_TSB_INUSE | id; in iommu_tsb_alloc()222 if (iommu_tsb_avail[tsbc] == 0) { in iommu_tsb_free()225 iommu_tsb_avail[tsbc] = 0; in iommu_tsb_free()239 ASSERT(iommu_tsb_avail[tsbc] != 0); in iommu_tsb_cookie_to_size()248 ASSERT(iommu_tsb_avail[tsbc] != 0); in iommu_tsb_cookie_to_va()