gerrit.devboardsforandroid.linaro.org / platform / external / u-boot / 2ad6b513b31070bd0c003792ed1c3e7f5d740357 / include / asm-microblaze / platform.h