gerrit.devboardsforandroid.linaro.org / platform / external / u-boot / d933d4368601a0bfda1c54a1135d9da92d0382b7 / drivers / timer / gxp-timer.c