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