gerrit.devboardsforandroid.linaro.org / platform / external / u-boot / 0db7f6859fef41c1e95bcef75761054a01782d1b / drivers / timer / sti-timer.c