dts: exynos-xen: gic for xen.

diff --git a/arch/arm/boot/dts/exynos5250.dtsi b/arch/arm/boot/dts/exynos5250.dtsi
index 3c1dd6713a97813c75dcf614f7c3904ea89baee1..85c15022c4880dc652fe4c4ee86e1c7ec60bef73 100644 (file)
--- a/arch/arm/boot/dts/exynos5250.dtsi
+++ b/arch/arm/boot/dts/exynos5250.dtsi
@@ -42,10 +42,10 @@
        };
 
        gic:interrupt-controller@10481000 {
-               compatible = "arm,cortex-a9-gic";
+               compatible = "arm,cortex-a15-gic", "arm,cortex-a9-gic";
                #interrupt-cells = <3>;
                interrupt-controller;
-               reg = <0x10481000 0x1000>, <0x10482000 0x2000>;
+               reg = <0x10481000 0x1000>, <0x10482000 0x1000>,<0x10484000 0x2000>, <0x10486000 0x2000>;
        };
 
        combiner:interrupt-controller@10440000 {