On Thu, Apr 16, 2015 at 09:39:06PM +0200, Paolo Bonzini wrote: > > > On 16/04/2015 21:10, Christoffer Dall wrote: > >> > > > As it turns out, it was not the same logic as Stephen's resolution. > > Stephen's resolution is bussy, because vlr is passed by value to > > vgic_queue_irq_to_lr() and therefore the call to sync the elrsr does not > > have any effect. > > > > Unfortunately, it seems Paolo's more correct fix did not end up in > > Linus' tree, so I guess I should just send a patch? > > Uhm, sure it did :) > > http://git.kernel.org/cgit/linux/kernel/git/torvalds/linux.git/tree/virt/kvm/arm/vgic.c#n1121 > I'm an idiot; I looked at 4.0 instead of master, sorry for the noise. -Christoffer -- To unsubscribe from this list: send the line "unsubscribe linux-next" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html