gerrit.devboardsforandroid.linaro.org / platform / external / u-boot / 98036b0d70364cb62d9b1937b30d5994ed83f7b5 / include / iommu.h