Symbol: IOMMU_NPTES