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