From: Anthony PERARD <anthony.perard@citrix.com>
Date: Wed, 16 Jan 2013 11:56:48 +0000 (+0000)
Subject: arndale: Mapping mmio regions to guest.
X-Git-Url: http://xenbits.xensource.com/gitweb?a=commitdiff_plain;h=8e7103b5da1036fe1d938315994234f2dceedd2e;p=people%2Faperard%2Fxen-arm.git

arndale: Mapping mmio regions to guest.
---

diff --git a/xen/arch/arm/domain_build.c b/xen/arch/arm/domain_build.c
index 512d78c6a3..c775a1e8e1 100644
--- a/xen/arch/arm/domain_build.c
+++ b/xen/arch/arm/domain_build.c
@@ -340,6 +340,17 @@ int construct_dom0(struct domain *d)
     printk("Map CS3 MMIO regions 1:1 in the P2M %#llx->%#llx\n", 0x1C000000ULL, 0x1FFFFFFFULL);
     map_mmio_regions(d, 0x1C000000, 0x1FFFFFFF, 0x1C000000);
 
+    // iRam
+    map_mmio_regions(d, 0x02020000, 0x02077fff, 0x02020000);
+    printk("map chip id to 0x10000000\n");
+    map_mmio_regions(d, 0x10000000, 0x10010000, 0x10000000);
+    printk("map more\n");
+    map_mmio_regions(d, 0x10010000, 0x10480000-1, 0x10010000);
+    // avoid GIC
+    map_mmio_regions(d, 0x10490000, 0x12C1ffff, 0x10490000);
+    // avoid uart2, used by Xen
+    map_mmio_regions(d, 0x12c30000, 0x17ffffff, 0x12c30000);
+
     printk("Routing peripheral interrupts to guest\n");
     /* TODO Get from device tree */
     gic_route_irq_to_guest(d, 34, "timer0");