We don't need to manually set the P2M for the vGIC in construct_dom0,
because we have already done it generally for every guest in gicv_setup.
Signed-off-by: Stefano Stabellini <stefano.stabellini@eu.citrix.com>
diff --git a/xen/arch/arm/domain_build.c b/xen/arch/arm/domain_build.c
index a9e7f43..432fdc0 100644
--- a/xen/arch/arm/domain_build.c
+++ b/xen/arch/arm/domain_build.c
@@ -282,8 +282,6 @@ int construct_dom0(struct domain *d)
map_mmio_regions(d, 0x18000000, 0x1BFFFFFF, 0x18000000);
printk("Map CS3 MMIO regions 1:1 in the P2M %#llx->%#llx\n", 0x1C000000ULL, 0x1FFFFFFFULL);
map_mmio_regions(d, 0x1C000000, 0x1FFFFFFF, 0x1C000000);
- printk("Map VGIC MMIO regions 1:1 in the P2M %#llx->%#llx\n", 0x2C008000ULL, 0x2DFFFFFFULL);
- map_mmio_regions(d, 0x2C008000, 0x2DFFFFFF, 0x2C008000);
printk("Routing peripheral interrupts to guest\n");
/* TODO Get from device tree */
_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xen.org
http://lists.xen.org/xen-devel
because we have already done it generally for every guest in gicv_setup.
Signed-off-by: Stefano Stabellini <stefano.stabellini@eu.citrix.com>
diff --git a/xen/arch/arm/domain_build.c b/xen/arch/arm/domain_build.c
index a9e7f43..432fdc0 100644
--- a/xen/arch/arm/domain_build.c
+++ b/xen/arch/arm/domain_build.c
@@ -282,8 +282,6 @@ int construct_dom0(struct domain *d)
map_mmio_regions(d, 0x18000000, 0x1BFFFFFF, 0x18000000);
printk("Map CS3 MMIO regions 1:1 in the P2M %#llx->%#llx\n", 0x1C000000ULL, 0x1FFFFFFFULL);
map_mmio_regions(d, 0x1C000000, 0x1FFFFFFF, 0x1C000000);
- printk("Map VGIC MMIO regions 1:1 in the P2M %#llx->%#llx\n", 0x2C008000ULL, 0x2DFFFFFFULL);
- map_mmio_regions(d, 0x2C008000, 0x2DFFFFFF, 0x2C008000);
printk("Routing peripheral interrupts to guest\n");
/* TODO Get from device tree */
_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xen.org
http://lists.xen.org/xen-devel