1 // SPDX-License-Identifier: (GPL-2.0+ OR BSD-3-Clause)
3 * QorIQ BMan Portals device tree
5 * Copyright 2011-2016 Freescale Semiconductor Inc.
12 compatible = "simple-bus";
16 * bootloader fix-ups are expected to provide the
17 * "fsl,bman-portal-<hardware revision>" compatible
19 compatible = "fsl,bman-portal";
20 reg = <0x0 0x4000>, <0x4000000 0x4000>;
21 interrupts = <GIC_SPI 173 IRQ_TYPE_LEVEL_HIGH>;
25 compatible = "fsl,bman-portal";
26 reg = <0x10000 0x4000>, <0x4010000 0x4000>;
27 interrupts = <GIC_SPI 175 IRQ_TYPE_LEVEL_HIGH>;
31 compatible = "fsl,bman-portal";
32 reg = <0x20000 0x4000>, <0x4020000 0x4000>;
33 interrupts = <GIC_SPI 177 IRQ_TYPE_LEVEL_HIGH>;
37 compatible = "fsl,bman-portal";
38 reg = <0x30000 0x4000>, <0x4030000 0x4000>;
39 interrupts = <GIC_SPI 179 IRQ_TYPE_LEVEL_HIGH>;
43 compatible = "fsl,bman-portal";
44 reg = <0x40000 0x4000>, <0x4040000 0x4000>;
45 interrupts = <GIC_SPI 181 IRQ_TYPE_LEVEL_HIGH>;
49 compatible = "fsl,bman-portal";
50 reg = <0x50000 0x4000>, <0x4050000 0x4000>;
51 interrupts = <GIC_SPI 183 IRQ_TYPE_LEVEL_HIGH>;
55 compatible = "fsl,bman-portal";
56 reg = <0x60000 0x4000>, <0x4060000 0x4000>;
57 interrupts = <GIC_SPI 185 IRQ_TYPE_LEVEL_HIGH>;
61 compatible = "fsl,bman-portal";
62 reg = <0x70000 0x4000>, <0x4070000 0x4000>;
63 interrupts = <GIC_SPI 187 IRQ_TYPE_LEVEL_HIGH>;
67 compatible = "fsl,bman-portal";
68 reg = <0x80000 0x4000>, <0x4080000 0x4000>;
69 interrupts = <GIC_SPI 189 IRQ_TYPE_LEVEL_HIGH>;
73 compatible = "fsl,bman-portal";
74 reg = <0x90000 0x4000>, <0x4090000 0x4000>;
75 interrupts = <GIC_SPI 191 IRQ_TYPE_LEVEL_HIGH>;