| BCM2835 System Timer | |
| The System Timer peripheral provides four 32-bit timer channels and a | |
| single 64-bit free running counter. Each channel has an output compare | |
| register, which is compared against the 32 least significant bits of the | |
| free running counter values, and generates an interrupt. | |
| Required properties: | |
| - compatible : should be "brcm,bcm2835-system-timer" | |
| - reg : Specifies base physical address and size of the registers. | |
| - interrupts : A list of 4 interrupt sinks; one per timer channel. | |
| - clock-frequency : The frequency of the clock that drives the counter, in Hz. | |
| Example: | |
| timer { | |
| compatible = "brcm,bcm2835-system-timer"; | |
| reg = <0x7e003000 0x1000>; | |
| interrupts = <1 0>, <1 1>, <1 2>, <1 3>; | |
| clock-frequency = <1000000>; | |
| }; |