/shark/trunk/ports/first/first-sync.c |
---|
84,7 → 84,13 |
case FSF_SCHEDULER_EDF: |
budget = EDFSTAR_getbudget(local_scheduler_level, exec_shadow); |
break; |
case FSF_SCHEDULER_NONE: |
budget = NONESTAR_getbudget(local_scheduler_level, exec_shadow); |
break; |
case FSF_SCHEDULER_RM: |
budget = RMSTAR_getbudget(local_scheduler_level, exec_shadow); |
break; |
default: |
budget = -1; |
break; |