gerrit.devboardsforandroid.linaro.org / platform / external / u-boot / 156d64fa55e9914b144c5e83f2a9e13d1223a4d3 / drivers / timer / sti-timer.c