1 # SPDX-License-Identifier: (GPL-2.0-only OR BS
2 %YAML 1.2
3 ---
4 $id: http://devicetree.org/schemas/timer/brcm,
5 $schema: http://devicetree.org/meta-schemas/co
6
7 title: BCM2835 System Timer
8
9 maintainers:
10 - Stefan Wahren <wahrenst@gmx.net>
11 - Raspberry Pi Kernel Maintenance <kernel-lis
12
13 description:
14 The System Timer peripheral provides four 32
15 single 64-bit free running counter. Each cha
16 register, which is compared against the 32 l
17 free running counter values, and generates a
18
19 properties:
20 compatible:
21 const: brcm,bcm2835-system-timer
22
23 reg:
24 maxItems: 1
25
26 interrupts:
27 items:
28 - description: System Timer Compare 0 ma
29 - description: System Timer Compare 1 ma
30 - description: System Timer Compare 2 ma
31 - description: System Timer Compare 3 ma
32
33 clock-frequency: true
34
35 required:
36 - compatible
37 - reg
38 - interrupts
39
40 additionalProperties: false
41
42 examples:
43 - |
44 timer@7e003000 {
45 compatible = "brcm,bcm2835-system-timer"
46 reg = <0x7e003000 0x1000>;
47 interrupts = <1 0>, <1 1>, <1 2>, <1 3>;
48 clock-frequency = <1000000>;
49 };
50 ...
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.