gerrit.devboardsforandroid.linaro.org / platform / external / u-boot / 791c174d58f6fbea2b055b5851ab33d8f73b2c93 / drivers / timer / sti-timer.c