linux/Documentation/devicetree/bindings/timer/brcm,bcm2835-system-timer.txt
<<
>>
Prefs
   1BCM2835 System Timer
   2
   3The System Timer peripheral provides four 32-bit timer channels and a
   4single 64-bit free running counter. Each channel has an output compare
   5register, which is compared against the 32 least significant bits of the
   6free running counter values, and generates an interrupt.
   7
   8Required properties:
   9
  10- compatible : should be "brcm,bcm2835-system-timer"
  11- reg : Specifies base physical address and size of the registers.
  12- interrupts : A list of 4 interrupt sinks; one per timer channel.
  13- clock-frequency : The frequency of the clock that drives the counter, in Hz.
  14
  15Example:
  16
  17timer {
  18        compatible = "brcm,bcm2835-system-timer";
  19        reg = <0x7e003000 0x1000>;
  20        interrupts = <1 0>, <1 1>, <1 2>, <1 3>;
  21        clock-frequency = <1000000>;
  22};
  23