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