On Mon, Oct 15, 2012 at 11:42 AM, Marc Zyngier <marc.zyngier@xxxxxxx> wrote: > Fix a number of problems in the vgic code: > - Make sure edge interrupts are getting cleared as soon as they > are on the CPU interface > - Make sure level interrupts get cleared after they get EOId. > Also mark it pending again if the irq_state is still high. > interesting. did this bug manifest in some incorrect behavior? _______________________________________________ kvmarm mailing list kvmarm@xxxxxxxxxxxxxxxxxxxxx https://lists.cs.columbia.edu/cucslists/listinfo/kvmarm
