1# SPDX-License-Identifier: (GPL-2.0-only OR BSD-2-Clause) 2%YAML 1.2 3--- 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 Timer 8 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 a 15 single 64-bit free running counter. Each channel has an output compare 16 register, which is compared against the 32 least significant bits of the 17 free running counter values, and generates an interrupt. 18 19properties: 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 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: true 34 35required: 36 - compatible 37 - reg 38 - interrupts 39 40additionalProperties: false 41 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