/Documentation/devicetree/bindings/timer/
../
brcm,bcm2835-system-timer.txt