1 // SPDX-License-Identifier: GPL-2.0
3 * Device Tree Source for AM6 SoC Family Main Domain peripherals
5 * Copyright (C) 2016-2018 Texas Instruments Incorporated - http://www.ti.com/
9 gic500: interrupt-controller@1800000 {
10 compatible = "arm,gic-v3";
14 #interrupt-cells = <3>;
16 reg = <0x00 0x01800000 0x00 0x10000>, /* GICD */
17 <0x00 0x01880000 0x00 0x90000>; /* GICR */
20 * virtual CPU interface maintenance interrupt
22 interrupts = <GIC_PPI 9 IRQ_TYPE_LEVEL_HIGH>;
24 gic_its: gic-its@1820000 {
25 compatible = "arm,gic-v3-its";
26 reg = <0x00 0x01820000 0x00 0x10000>;