Symbol: DEQUEUE_MIGRATING
kernel/sched/deadline.c
2272
if (flags & (DEQUEUE_SAVE|DEQUEUE_MIGRATING)) {
kernel/sched/deadline.c
2357
flags |= DEQUEUE_MIGRATING;