DEBUG Xen: have proper gic

diff --git a/arch/arm/boot/dts/exynos5250.dtsi b/arch/arm/boot/dts/exynos5250.dtsi
index 4f2c964adef3bcd4de40a5fd6437625077b0b680..a8795ee427ba688774c02c7aa312cae4c91fd843 100644 (file)
--- a/arch/arm/boot/dts/exynos5250.dtsi
+++ b/arch/arm/boot/dts/exynos5250.dtsi
@@ -74,12 +74,14 @@
        };
 
        gic:interrupt-controller@10481000 {
-               compatible = "arm,cortex-a9-gic";
+               compatible = "arm,cortex-a15-gic";
                #interrupt-cells = <3>;
                #address-cells = <0>;
                #size-cells = <0>;
                interrupt-controller;
-               reg = <0x10481000 0x1000>, <0x10482000 0x2000>;
+               reg = <0x10481000 0x1000>, <0x10482000 0x1000>,
+                     <0x10484000 0x2000>, <0x10486000 0x2000>;
+
        };
 
        combiner:interrupt-controller@10440000 {