gerrit.devboardsforandroid.linaro.org / platform / external / u-boot / 1eb0a464b7434175800c98a175909588d38c1dae / drivers / timer / sti-timer.c