On 21/03/17 21:10, Christoffer Dall wrote: > We currently assume that all the interrupts in our AP list will be > queued to LRs, but that's not necessarily the case, because some of them > could have been migrated away to different VCPUs and only the VCPU > thread itself can remove interrupts from its AP list. > > Therefore, slightly change the logic to only setting the underflow > interrupt when we actually run out of LRs. > > As it turns out, this allows us to further simplify the handling in > vgic_sync_hwstate in later patches. > > Signed-off-by: Christoffer Dall <cdall@xxxxxxxxxx> Acked-by: Marc Zyngier <marc.zyngier@xxxxxxx> M. -- Jazz is not dead. It just smells funny...