extern void __setscheduler_prio(struct task_struct *p, int prio);
  extern void set_load_weight(struct task_struct *p, bool update_load);
  extern void enqueue_task(struct rq *rq, struct task_struct *p, int flags);
- extern void dequeue_task(struct rq *rq, struct task_struct *p, int flags);
+ extern bool dequeue_task(struct rq *rq, struct task_struct *p, int flags);
  
 +extern void check_class_changing(struct rq *rq, struct task_struct *p,
 +                               const struct sched_class *prev_class);
  extern void check_class_changed(struct rq *rq, struct task_struct *p,
                                const struct sched_class *prev_class,
                                int oldprio);