From 53d0f849a8e791dc01f2f6d33a39944c745cef77 Mon Sep 17 00:00:00 2001
From: pbrook <pbrook>
Date: Sun, 1 Oct 2006 13:03:52 +0000
Subject: [PATCH] ARM GIC bug.

---
 hw/arm_gic.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/hw/arm_gic.c b/hw/arm_gic.c
index c7cc38088..94ce9aa34 100644
--- a/hw/arm_gic.c
+++ b/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++) {
-- 
2.39.5