preempt_dynamic_lazy
return preempt_dynamic_lazy;
case preempt_dynamic_lazy:
sched_dynamic_update(preempt_dynamic_lazy);