SMMU_PTC_FLUSH
smmu_writel(smmu, SMMU_PTC_FLUSH_TYPE_ALL, SMMU_PTC_FLUSH);
smmu_writel(smmu, value, SMMU_PTC_FLUSH);