// 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 = <2>;
|
#size-cells = <2>;
|
ranges;
|
#interrupt-cells = <3>;
|
interrupt-controller;
|
reg = <0x00 0x01800000 0x00 0x10000>, /* GICD */
|
<0x00 0x01880000 0x00 0x90000>; /* GICR */
|
/*
|
* vcpumntirq:
|
* virtual CPU interface maintenance interrupt
|
*/
|
interrupts = <GIC_PPI 9 IRQ_TYPE_LEVEL_HIGH>;
|
|
gic_its: gic-its@1820000 {
|
compatible = "arm,gic-v3-its";
|
reg = <0x00 0x01820000 0x00 0x10000>;
|
msi-controller;
|
#msi-cells = <1>;
|
};
|
};
|
};
|
