Linux kernel bug fix: powerpc/64s: Fix lost pending interrupt due to race causing lost update to irq_happened
Subsystem: arch/powerpc (arch/powerpc/kernel/irq.c)
Bug type: hang, severity: medium
Files changed: arch/powerpc/kernel/irq.c
Introduced by Benjamin Herrenschmidt on 2016-07-17 16:42:44 +1000; fixed by Nicholas Piggin on 2018-03-23 08:41:40 +1100 (lifetime: 613 days)