deactivate_task
deactivate_task(rq, p, DEQUEUE_NOCLOCK);
deactivate_task(src_rq, p, 0);
deactivate_task(env->src_rq, p, DEQUEUE_NOCLOCK);
extern void deactivate_task(struct rq *rq, struct task_struct *p, int flags);
deactivate_task(src_rq, task, 0);