SCX_KF_REST
SCX_KF_ENQUEUE | SCX_KF_SELECT_CPU | SCX_KF_REST,
__SCX_KF_TERMINAL = SCX_KF_ENQUEUE | SCX_KF_SELECT_CPU | SCX_KF_REST,
SCX_CALL_OP_TASK(sch, SCX_KF_REST, runnable, rq, p, enq_flags);
SCX_CALL_OP_TASK(sch, SCX_KF_REST, dequeue, rq,
SCX_CALL_OP_TASK(sch, SCX_KF_REST, stopping, rq, p, false);
SCX_CALL_OP_TASK(sch, SCX_KF_REST, quiescent, rq, p, deq_flags);
SCX_CALL_OP_2TASKS_RET(sch, SCX_KF_REST, yield, rq, p, NULL);
return SCX_CALL_OP_2TASKS_RET(sch, SCX_KF_REST, yield, rq,
SCX_CALL_OP(sch, SCX_KF_REST, cpu_acquire, rq,
SCX_CALL_OP_TASK(sch, SCX_KF_REST, running, rq, p);
SCX_CALL_OP_TASK(sch, SCX_KF_REST, stopping, rq, p, true);
return SCX_CALL_OP_2TASKS_RET(sch, SCX_KF_REST, core_sched_before,
SCX_CALL_OP_TASK(sch, SCX_KF_REST, set_cpumask, NULL,
SCX_CALL_OP_TASK(sch, SCX_KF_REST, tick, rq, curr);
SCX_CALL_OP_TASK(sch, SCX_KF_REST, enable, rq, p);
SCX_CALL_OP_TASK(sch, SCX_KF_REST, set_weight, rq,
SCX_CALL_OP_TASK(sch, SCX_KF_REST, disable, rq, p);
SCX_CALL_OP_TASK(sch, SCX_KF_REST, exit_task, task_rq(p),
SCX_CALL_OP_TASK(sch, SCX_KF_REST, set_weight, rq,
SCX_CALL_OP_TASK(sch, SCX_KF_REST, set_cpumask, rq,
SCX_CALL_OP(sch, SCX_KF_REST, dump_task, NULL, dctx, p);
SCX_CALL_OP(sch, SCX_KF_REST, dump_cpu, NULL,
SCX_CALL_OP(sch, SCX_KF_REST, update_idle, rq, cpu_of(rq), idle);