gerrit.devboardsforandroid.linaro.org / platform / external / u-boot / ed1b726683e7d9104498b724230ebeb6c533ba70 / drivers / timer / mchp-pit64b-timer.c