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