ARM_SMMU_CB_ATS1PR
arm_smmu_cb_writeq(smmu, idx, ARM_SMMU_CB_ATS1PR, va);
arm_smmu_cb_write(smmu, idx, ARM_SMMU_CB_ATS1PR, va);