On 2020-03-06 13:03, Thomas Gleixner wrote:
The code sets IRQS_REPLAY unconditionally whether the resend happens ornot. That doesn't have bad side effects right now, but inconsistent stateis always a latent source of problems. Signed-off-by: Thomas Gleixner <tglx@xxxxxxxxxxxxx>
Acked-by: Marc Zyngier <maz@xxxxxxxxxx> M. -- Jazz is not dead. It just smells funny...