# SPDX-License-Identifier: (GPL-2.0-only OR BSD-2-Clause)
%YAML 1.2
---
$id: http://devicetree.org/schemas/interrupt-controller/marvell,armada-8k-pic.yaml#
$schema: http://devicetree.org/meta-schemas/core.yaml#

title: Marvell Armada 7K/8K PIC Interrupt controller

maintainers:
  - Thomas Petazzoni <thomas.petazzoni@bootlin.com>

description:
  The Marvell Armada 7K/8K PIC is a secondary interrupt controller available on
  the Marvell Armada 7K/8K ARM64 SoCs, and typically connected to the GIC as the
  primary interrupt controller.

properties:
  compatible:
    const: marvell,armada-8k-pic

  reg:
    maxItems: 1
 
  "#interrupt-cells":
    const: 1

  interrupt-controller: true

  interrupts:
    maxItems: 1
    description: Interrupt to the primary interrupt controller (GIC).

required:
  - compatible
  - reg
  - "#interrupt-cells"
  - interrupt-controller
  - interrupts

additionalProperties: false

examples:
  - |
    #include <dt-bindings/interrupt-controller/arm-gic.h>
 
    interrupt-controller@3f0100 {
        compatible = "marvell,armada-8k-pic";
        reg = <0x3f0100 0x10>;
        #interrupt-cells = <1>;
        interrupt-controller;
        interrupts = <GIC_PPI 15 IRQ_TYPE_LEVEL_HIGH>;
    };