1// SPDX-License-Identifier: GPL-2.0 2/* 3 * Device Tree Source for AM6 SoC Family Main Domain peripherals 4 * 5 * Copyright (C) 2016-2018 Texas Instruments Incorporated - http://www.ti.com/ 6 */ 7 8&cbass_main { 9 gic500: interrupt-controller@1800000 { 10 compatible = "arm,gic-v3"; 11 #address-cells = <1>; 12 #size-cells = <1>; 13 ranges; 14 #interrupt-cells = <3>; 15 interrupt-controller; 16 reg = <0x01800000 0x10000>, /* GICD */ 17 <0x01880000 0x90000>; /* GICR */ 18 /* 19 * vcpumntirq: 20 * virtual CPU interface maintenance interrupt 21 */ 22 interrupts = <GIC_PPI 9 IRQ_TYPE_LEVEL_HIGH>; 23 24 gic_its: gic-its@18200000 { 25 compatible = "arm,gic-v3-its"; 26 reg = <0x01820000 0x10000>; 27 msi-controller; 28 #msi-cells = <1>; 29 }; 30 }; 31}; 32