Message ID | 1407056027-7522-4-git-send-email-adam@os.inf.tu-dresden.de |
---|---|
State | New |
Headers | show |
diff --git a/hw/intc/arm_gic.c b/hw/intc/arm_gic.c index cd6e6ea..066a7f2 100644 --- a/hw/intc/arm_gic.c +++ b/hw/intc/arm_gic.c @@ -558,8 +558,6 @@ static void gic_dist_writeb(void *opaque, hwaddr offset, irq = (offset - 0xc00) * 4 + GIC_BASE_IRQ; if (irq >= s->num_irq) goto bad_reg; - if (irq < GIC_INTERNAL) - value |= 0xaa; for (i = 0; i < 4; i++) { if (value & (1 << (i * 2))) { GIC_SET_MODEL(irq + i);
Using GICD_ICFGR for PPIs forces PPIs to edge-triggered mode, although they have been initialised to level-triggered. This affects all interrupts covered by the write access. Change the handling of PPIs to not force a specific mode. It is implementation defined whether setting the mode of PPIs is supported. Signed-off-by: Adam Lackorzynski <adam@os.inf.tu-dresden.de> --- hw/intc/arm_gic.c | 2 -- 1 file changed, 2 deletions(-)