vgic: Fix value to mach arndale boare.

Does should be taken from the hardward and not hard coded.

diff --git a/xen/arch/arm/vgic.c b/xen/arch/arm/vgic.c
index 39b9775e03f7d06134730e4e9afcf53d0b6bba68..517a26d800d4ea850b4f3baea32385a05fa12ebd 100644 (file)
--- a/xen/arch/arm/vgic.c
+++ b/xen/arch/arm/vgic.c
@@ -29,7 +29,7 @@
 #include "io.h"
 #include <asm/gic.h>
 
-#define VGIC_DISTR_BASE_ADDRESS 0x000000002c001000
+#define VGIC_DISTR_BASE_ADDRESS (GIC_BASE_ADDRESS+GIC_DR_OFFSET)
 
 #define REG(n) (n/4)
 
@@ -79,7 +79,7 @@ int domain_vgic_init(struct domain *d)
     int i;
 
     d->arch.vgic.ctlr = 0;
-    d->arch.vgic.nr_lines = 32;
+    d->arch.vgic.nr_lines = 128;
     d->arch.vgic.shared_irqs =
         xmalloc_array(struct vgic_irq_rank, DOMAIN_NR_RANKS(d));
     d->arch.vgic.pending_irqs =
@@ -187,7 +187,7 @@ static int vgic_distr_mmio_read(struct vcpu *v, mmio_info_t *info)
          * XXX Do we need a JEP106 manufacturer ID?
          * Just use the physical h/w value for now
          */
-        *r = 0x0000043b;
+        *r = 0x0200043b;
         return 1;
 
     /* Implementation defined -- read as zero */