1# SPDX-License-Identifier: (GPL-2.0-only OR BSD-2-Clause)
2%YAML 1.2
3---
4$id: http://devicetree.org/schemas/timer/rda,8810pl-timer.yaml#
5$schema: http://devicetree.org/meta-schemas/core.yaml#
6
7title: RDA Micro RDA8810PL Timer
8
9maintainers:
10  - Manivannan Sadhasivam <manivannan.sadhasivam@linaro.org>
11
12properties:
13  compatible:
14    const: rda,8810pl-timer
15
16  reg:
17    maxItems: 1
18
19  interrupts:
20    minItems: 2
21    maxItems: 2
22
23  interrupt-names:
24    items:
25      - const: hwtimer
26      - const: ostimer
27
28required:
29  - compatible
30  - reg
31  - interrupts
32  - interrupt-names
33
34additionalProperties: false
35
36examples:
37  - |
38    #include <dt-bindings/interrupt-controller/irq.h>
39
40    timer@20910000 {
41      compatible = "rda,8810pl-timer";
42      reg = <0x20910000 0x1000>;
43      interrupts = <16 IRQ_TYPE_LEVEL_HIGH>,
44                   <17 IRQ_TYPE_LEVEL_HIGH>;
45      interrupt-names = "hwtimer", "ostimer";
46    };
47...
48