/shark/trunk/ports/first/first-server.c/first-server.c |
---|
727,8 → 727,8 |
if (*thread == NIL) |
return FSF_ERR_INTERNAL_ERROR; |
TABLEDRIVEN_setbudget(local_scheduler_level, *thread, (int)(server)); |
TABLEDRIVEN_settable(local_scheduler_level, (fsf_table_driven_params_t *)(local_scheduler_arg->params)); |
TDSTAR_setbudget(local_scheduler_level, *thread, (int)(server)); |
TDSTAR_settable(local_scheduler_level, (fsf_table_driven_params_t *)(local_scheduler_arg->params)); |
} |
break; |