SMMU_V3_PRIQ_PROD
smmu_v3_write_4(sc, SMMU_V3_PRIQ_PROD, 0);
prod = smmu_v3_read_4(sc, SMMU_V3_PRIQ_PROD);