SCX_DEQ_CORE_SCHED_EXEC
if (!(deq_flags & (DEQUEUE_SLEEP | SCX_DEQ_CORE_SCHED_EXEC)))
ops_dequeue(rq, p, SCX_DEQ_CORE_SCHED_EXEC);
if (deq_flags & SCX_DEQ_CORE_SCHED_EXEC)