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