# SPDX-License-Identifier: (GPL-2.0-only OR BSD-2-Clause)
%YAML 1.2
---
$id: http://devicetree.org/schemas/timer/rda,8810pl-timer.yaml#
$schema: http://devicetree.org/meta-schemas/core.yaml#

title: RDA Micro RDA8810PL Timer

maintainers:
  - Manivannan Sadhasivam <manivannan.sadhasivam@linaro.org>

properties:
  compatible:
    const: rda,8810pl-timer

  reg:
    maxItems: 1

  interrupts:
    minItems: 2
    maxItems: 2

  interrupt-names:
    items:
      - const: hwtimer
      - const: ostimer

required:
  - compatible
  - reg
  - interrupts
  - interrupt-names

additionalProperties: false

examples:
  - |
    #include <dt-bindings/interrupt-controller/irq.h>
 
    timer@20910000 {
      compatible = "rda,8810pl-timer";
      reg = <0x20910000 0x1000>;
      interrupts = <16 IRQ_TYPE_LEVEL_HIGH>,
                   <17 IRQ_TYPE_LEVEL_HIGH>;
      interrupt-names = "hwtimer", "ostimer";
    };
...