Linux kernel bug fix: irqchip/mips-gic: Separate IPI reservation & usage tracking
Subsystem: drivers (drivers/irqchip/irq-mips-gic.c)
Bug type: unknown, severity: unknown
Files changed: drivers/irqchip/irq-mips-gic.c
Introduced by Qais Yousef on 2016-02-25 10:56:57 +0100; fixed by Paul Burton on 2017-04-20 16:07:02 +0200 (lifetime: 420 days)