Linux kernel bug fix: irqchip/gic-v4: Fix occasional VLPI drop
Subsystem: drivers (drivers/irqchip/irq-gic-v3-its.c)
Bug type: unknown, severity: high
Files changed: drivers/irqchip/irq-gic-v3-its.c
Introduced by Marc Zyngier on 2017-08-31 15:31:36 +0100; fixed by Heyi Guo on 2019-01-28 18:01:10 +0000 (lifetime: 515 days)