Linux kernel bug fix: nohz: Fix local_timer_softirq_pending()
Subsystem: timekeeping (kernel/time/tick-sched.c)
Bug type: unknown, severity: unknown
Files changed: kernel/time/tick-sched.c
Introduced by Thomas Gleixner on 2017-12-29 23:13:10 +0100; fixed by Anna-Maria Gleixner on 2018-07-31 22:08:44 +0200 (lifetime: 213 days)