1 // SPDX-License-Identifier: GPL-2.0+ OR X11
3 * P1010 Silicon/SoC Device Tree Source (post include)
12 compatible = "fsl,p1010-immr", "simple-bus";
18 #interrupt-cells = <4>;
19 reg = <0x40000 0x40000>;
20 compatible = "fsl,mpic";
21 device_type = "open-pic";
24 last-interrupt-source = <255>;
28 /* controller at 0x9000 */
30 compatible = "fsl,pcie-p1_p2", "fsl,pcie-fsl-qoriq";
35 bus-range = <0x0 0xff>;
38 /* controller at 0xa000 */
40 compatible = "fsl,pcie-p1_p2", "fsl,pcie-fsl-qoriq";
45 bus-range = <0x0 0xff>;