gerrit.devboardsforandroid.linaro.org / platform / external / u-boot / 7b95660dfce2917b4a9a24ad3a8a15972eb5ffce / arch / mips / mach-octeon / cvmx-pko3-compat.c