sched_core_dequeue
sched_core_dequeue(rq, p, flags);
sched_core_dequeue(rq, p, DEQUEUE_SAVE);
extern void sched_core_dequeue(struct rq *rq, struct task_struct *p, int flags);