51 lines · yaml
1# SPDX-License-Identifier: (GPL-2.0-only OR BSD-2-Clause)2%YAML 1.23---4$id: http://devicetree.org/schemas/timer/brcm,bcm2835-system-timer.yaml#5$schema: http://devicetree.org/meta-schemas/core.yaml#6 7title: BCM2835 System Timer8 9maintainers:10 - Stefan Wahren <wahrenst@gmx.net>11 - Raspberry Pi Kernel Maintenance <kernel-list@raspberrypi.com>12 13description:14 The System Timer peripheral provides four 32-bit timer channels and a15 single 64-bit free running counter. Each channel has an output compare16 register, which is compared against the 32 least significant bits of the17 free running counter values, and generates an interrupt.18 19properties:20 compatible:21 const: brcm,bcm2835-system-timer22 23 reg:24 maxItems: 125 26 interrupts:27 items: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)32 33 clock-frequency: true34 35required:36 - compatible37 - reg38 - interrupts39 40additionalProperties: false41 42examples: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...51