142,6 → 142,15 |
SYS_FLAGS f; |
fsf_server_id_t server; |
|
if (next_budget->tv_sec < 0 || next_budget->tv_nsec > 1000000000) |
return FSF_ERR_BAD_ARGUMENT; |
|
if (next_period->tv_sec < 0 || next_period->tv_nsec > 1000000000) |
return FSF_ERR_BAD_ARGUMENT; |
|
if (at_absolute_time->tv_sec < 0 || at_absolute_time->tv_nsec > 1000000000) |
return FSF_ERR_BAD_ARGUMENT; |
|
f=kern_fsave(); |
|
local_scheduler_level = SERVER_get_local_scheduler_level_from_pid(fsf_server_level, exec_shadow); |
209,6 → 218,8 |
kern_frestore(f); |
task_endcycle(); |
|
|
|
return 0; |
|
} |
227,6 → 238,12 |
fsf_server_id_t server; |
SYS_FLAGS f; |
|
if (next_budget->tv_sec < 0 || next_budget->tv_nsec > 1000000000) |
return FSF_ERR_BAD_ARGUMENT; |
|
if (next_period->tv_sec < 0 || next_period->tv_nsec > 1000000000) |
return FSF_ERR_BAD_ARGUMENT; |
|
f=kern_fsave(); |
|
local_scheduler_level = SERVER_get_local_scheduler_level_from_pid(fsf_server_level, exec_shadow); |
316,9 → 333,18 |
int index=synch_handle; |
int budget, local_scheduler_level, scheduler_id; |
fsf_server_id_t server; |
int timed_out; |
|
SYS_FLAGS f; |
|
if (next_budget->tv_sec < 0 || next_budget->tv_nsec > 1000000000) |
return FSF_ERR_BAD_ARGUMENT; |
|
if (next_period->tv_sec < 0 || next_period->tv_nsec > 1000000000) |
return FSF_ERR_BAD_ARGUMENT; |
|
if (abs_timeout->tv_sec < 0 || abs_timeout->tv_nsec > 1000000000) |
return FSF_ERR_BAD_ARGUMENT; |
|
f=kern_fsave(); |
|
local_scheduler_level = SERVER_get_local_scheduler_level_from_pid(fsf_server_level, exec_shadow); |