Based on kernel version 3.9. Page generated on 2013-05-02 23:02 EST.
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 };