Thanks for the reply. It appears drivers/iommu/arm-smmu-t19x.c no longer exists (see drivers/iommu - linux-4.9 - Gitiles) - is it now using the generic arm-smmu.c? If so, it would appear that there is the “disable_bypass” option which seems to do the same thing (and more!). Should this flag be used instead?
I take it there is no need for the bootloader modification mentioned in pcie smmu issue - #7 by WayneWWW any more then as well?