queue_flag       4372 kernel/sched/core.c 	int prio, oldprio, queued, running, queue_flag =
queue_flag       4429 kernel/sched/core.c 		queue_flag &= ~DEQUEUE_MOVE;
queue_flag       4435 kernel/sched/core.c 		dequeue_task(rq, p, queue_flag);
queue_flag       4452 kernel/sched/core.c 			queue_flag |= ENQUEUE_REPLENISH;
queue_flag       4460 kernel/sched/core.c 			queue_flag |= ENQUEUE_HEAD;
queue_flag       4473 kernel/sched/core.c 		enqueue_task(rq, p, queue_flag);