Symbol: sched_ext_dead
include/linux/sched/ext.h
230
void sched_ext_dead(struct task_struct *p);
kernel/sched/core.c
5192
sched_ext_dead(prev);