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