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