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