gerrit.devboardsforandroid.linaro.org / platform / external / u-boot / 422b74b2efa8b17d1c5a68a245f07cb42d8e31f3 / arch / mips / mach-octeon / cvmx-pki-resources.c