Linux kernel bug fix: irqchip/gic-v3-its: Synchronise INV command targetting a VLPI using VSYNC
Subsystem: drivers (drivers/irqchip/irq-gic-v3-its.c)
Bug type: unknown, severity: unknown
Files changed: drivers/irqchip/irq-gic-v3-its.c
Introduced by Marc Zyngier on 2017-08-31 15:31:34 +0100; fixed by Marc Zyngier on 2019-11-10 18:47:53 +0000 (lifetime: 801 days)