intc@8000000 {
phandle = <0x8002>;
interrupts = <0x01 0x09 0x04>;
reg = <0x00 0x8000000 0x00 0x10000 0x00 0x80a0000 0x00 0xf60000>;
#redistributor-regions = <0x01>;
compatible = "arm,gic-v3";
ranges;
#size-cells = <0x02>;
#address-cells = <0x02>;
interrupt-controller;
#interrupt-cells = <0x03>;
its@8080000 {
phandle = <0x8003>;
reg = <0x00 0x8080000 0x00 0x20000>;
#msi-cells = <0x01>;
msi-controller;
compatible = "arm,gic-v3-its";
};
};
reg = <0x00 0x8000000 0x00 0x10000>,
<0x00 0x80a0000 0x00 0xf60000>;
Reference §