sched_core_free
extern void sched_core_free(struct task_struct *tsk);
sched_core_free(p);
sched_core_free(tsk);