ARM_SMMU_CB_TTBR1
arm_smmu_cb_write(smmu, idx, ARM_SMMU_CB_TTBR1, cb->ttbr[1]);
arm_smmu_cb_writeq(smmu, idx, ARM_SMMU_CB_TTBR1,
iommu_writeq(ctx, ARM_SMMU_CB_TTBR1, 0);