arndale: Mapping mmio regions to guest.

diff --git a/xen/arch/arm/domain_build.c b/xen/arch/arm/domain_build.c
index 512d78c6a37dffb8361b0c760d24cddfe9bd71c4..c775a1e8e15e8269745e1905dfb68155461dddd9 100644 (file)
--- 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");