gerrit.devboardsforandroid.linaro.org / platform / external / u-boot / da2e3196e4dc28298b58a018ace07f85eecd1652 / drivers / timer / npcm-timer.c