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

   1 BCM2835 System Timer
   2
   3 The System Timer peripheral provides four 32-bit timer channels and a
   4 single 64-bit free running counter. Each channel has an output compare
   5 register, which is compared against the 32 least significant bits of the
   6 free running counter values, and generates an interrupt.
   7
   8 Required 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
  15 Example:
  16
  17 timer {
  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 };