Symbol: SMMU_NUM_PTE