Linux kernel bug fix: sched/core: Fix a missed update of user_cpus_ptr
Subsystem: scheduler (kernel/sched/core.c)
Bug type: unknown, severity: unknown
Files changed: kernel/sched/core.c
Introduced by Waiman Long on 2022-10-27 11:01:22 +0200; fixed by Waiman Long on 2023-02-13 16:36:14 +0100 (lifetime: 109 days)