| // SPDX-License-Identifier: GPL-2.0 |
| /* |
| * Device Tree Source for AM6 SoC Family Main Domain peripherals |
| * |
| * Copyright (C) 2016-2018 Texas Instruments Incorporated - http://www.ti.com/ |
| */ |
| |
| &cbass_main { |
| gic500: interrupt-controller@1800000 { |
| compatible = "arm,gic-v3"; |
| #address-cells = <1>; |
| #size-cells = <1>; |
| ranges; |
| #interrupt-cells = <3>; |
| interrupt-controller; |
| reg = <0x01800000 0x10000>, /* GICD */ |
| <0x01880000 0x90000>; /* GICR */ |
| /* |
| * vcpumntirq: |
| * virtual CPU interface maintenance interrupt |
| */ |
| interrupts = <GIC_PPI 9 IRQ_TYPE_LEVEL_HIGH>; |
| |
| gic_its: gic-its@18200000 { |
| compatible = "arm,gic-v3-its"; |
| reg = <0x01820000 0x10000>; |
| msi-controller; |
| #msi-cells = <1>; |
| }; |
| }; |
| }; |
