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