Searched refs:iommu_tsb_size_max (Results 1 – 1 of 1) sorted by relevance
113 uint_t iommu_tsb_size_max = MAX_TSB_BYTES; variable137 tsb_max = MIN(iommu_tsb_size_max, MAX_TSB_BYTES); in iommu_tsb_init()