bindings/timer/brcm%2Cbcm2835-system-timer.yaml

1 # SPDX-License-Identifier: (GPL-2.0-only OR BSD-2-Clause)
3 ---
4 $id: http://devicetree.org/schemas/timer/brcm,bcm2835-system-timer.yaml#
5 $schema: http://devicetree.org/meta-schemas/core.yaml#
10   - Stefan Wahren <wahrenst@gmx.net>
11   - Raspberry Pi Kernel Maintenance <kernel-list@raspberrypi.com>
14   The System Timer peripheral provides four 32-bit timer channels and a
15   single 64-bit free running counter. Each channel has an output compare
17   free running counter values, and generates an interrupt.
21     const: brcm,bcm2835-system-timer
28       - description: System Timer Compare 0 match (used by VideoCore GPU)
29       - description: System Timer Compare 1 match (usable for ARM core)
30       - description: System Timer Compare 2 match (used by VideoCore GPU)
31       - description: System Timer Compare 3 match (usable for ARM core)
33   clock-frequency: true
36   - compatible
37   - reg
38   - interrupts
43   - |
45       compatible = "brcm,bcm2835-system-timer";
48       clock-frequency = <1000000>;