Revision 326199c2

b/hw/arm_gic.c
383 383
        s->irq_target[irq] = value;
384 384
    } else if (offset < 0xf00) {
385 385
        /* Interrupt Configuration.  */
386
        irq = (offset - 0xc00) * 2;
386
        irq = (offset - 0xc00) * 4;
387 387
        if (irq >= GIC_NIRQ)
388 388
            goto bad_reg;
389 389
        for (i = 0; i < 4; i++) {

Also available in: Unified diff