Symbol: scx_task_free
tools/sched_ext/scx_sdt.bpf.c
682
scx_task_free(p);
tools/sched_ext/scx_sdt.h
106
void scx_task_free(struct task_struct *p);