1 # SPDX-License-Identifier: (GPL-2.0-only OR BSD-2-Clause)
4 $id: http://devicetree.org/schemas/timer/rda,8810pl-timer.yaml#
5 $schema: http://devicetree.org/meta-schemas/core.yaml#
7 title: RDA Micro RDA8810PL Timer
10 - Manivannan Sadhasivam <manivannan.sadhasivam@linaro.org>
14 const: rda,8810pl-timer
34 additionalProperties: false
38 #include <dt-bindings/interrupt-controller/irq.h>
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";