On Mon, Mar 06 2017 at 1:42:37 pm GMT, Christoffer Dall <christoffer.dall@xxxxxxxxxx> wrote: > From: Jintack Lim <jintack@xxxxxxxxxxxxxxx> > > Currently, if a vcpu thread tries to change the active state of an > interrupt which is already on the same vcpu's AP list, Since the VGIC > mmio handler is called after a vcpu has already synced back the LR state > to the struct vgic_irq, we can just let it proceed safely. > > Signed-off-by: Jintack Lim <jintack@xxxxxxxxxxxxxxx> Reviewed-by: Marc Zyngier <marc.zyngier@xxxxxxx> M. -- Jazz is not dead, it just smell funny.