gerrit.devboardsforandroid.linaro.org / platform / external / u-boot / 9f3610307acfc91b9c07c1d194cb406d394fe597 / doc / device-tree-bindings / timer / atcpit100_timer.txt