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