Linux kernel bug fix: sched/deadline: Fix dl_server_stopped()
Subsystem: scheduler (kernel/sched/deadline.c)
Bug type: unknown, severity: unknown
Files changed: kernel/sched/deadline.c
Introduced by Peter Zijlstra on 2025-07-09 13:40:21 +0200; fixed by Huacai Chen on 2025-08-26 10:46:00 +0200 (lifetime: 47 days)