gerrit.devboardsforandroid.linaro.org / platform / external / u-boot / dd9484a828d268f175d7c54400574d47b2e4f9ab / arch / mips / mach-octeon / cvmx-pko.c