Linux kernel bug fix: sched/rt: Fix double enqueue caused by rt_effective_prio
Subsystem: scheduler (kernel/sched/core.c)
Bug type: crash, severity: high
Files changed: kernel/sched/core.c
Introduced by Thomas Gleixner on 2015-05-08 11:53:55 +0200; fixed by Peter Zijlstra on 2021-08-04 15:16:31 +0200 (lifetime: 2280 days)