Symbol: SMMU_NUM_PDE