0001 BCM2835 System Timer
0002
0003 The System Timer peripheral provides four 32-bit timer channels and a
0004 single 64-bit free running counter. Each channel has an output compare
0005 register, which is compared against the 32 least significant bits of the
0006 free running counter values, and generates an interrupt.
0007
0008 Required properties:
0009
0010 - compatible : should be "brcm,bcm2835-system-timer"
0011 - reg : Specifies base physical address and size of the registers.
0012 - interrupts : A list of 4 interrupt sinks; one per timer channel.
0013 - clock-frequency : The frequency of the clock that drives the counter, in Hz.
0014
0015 Example:
0016
0017 timer {
0018 compatible = "brcm,bcm2835-system-timer";
0019 reg = <0x7e003000 0x1000>;
0020 interrupts = <1 0>, <1 1>, <1 2>, <1 3>;
0021 clock-frequency = <1000000>;
0022 };
