Symbol: AMD_IOMMU_MAX_PDTE
usr/src/uts/i86pc/io/amd_iommu/amd_iommu_page_tables.h
100
uint64_t pt_pte_ref[AMD_IOMMU_MAX_PDTE];
usr/src/uts/i86pc/io/amd_iommu/amd_iommu_page_tables.h
70
(p)->pt_ref <= AMD_IOMMU_MAX_PDTE)