/* It is not legal to sleep in the idle task - print a warning message if some code attempts to do it:  */
static void dequeue_task_idle(struct rq *rq, struct task_struct *p, int sleep)
/* It is not legal to sleep in the idle task - print a warning message if some code attempts to do it:  */
static void dequeue_task_idle(struct rq *rq, struct task_struct *p, int sleep)
{
	raw_spin_unlock_irq(&rq->lock);
	printk(KERN_ERR "bad: scheduling from the idle thread!\n");
	dump_stack();
	raw_spin_lock_irq(&rq->lock);
}