ARM GIC bug.

git-svn-id: svn://svn.savannah.nongnu.org/qemu/trunk@2187 c046a42c-6fe2-441c-8c8c-71466251a162

hw/arm_gic.c

@@ -383,7 +383,7 @@ static void gic_dist_writeb(void *opaque, target_phys_addr_t offset,
         s->irq_target[irq] = value;
     } else if (offset < 0xf00) {
         /* Interrupt Configuration.  */
-        irq = (offset - 0xc00) * 2;
+        irq = (offset - 0xc00) * 4;
         if (irq >= GIC_NIRQ)
             goto bad_reg;
         for (i = 0; i < 4; i++) {