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