| 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); |
| 208,7 → 217,9 |
|---|
| |
| 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); |