| 19,21 → 19,6 |
|---|
| * |
| * generic_get_server_from_contract(int contract_number) */ |
| |
| #define generic_create_thread fsf_create_thread |
| /* Create a task/thread inside a specific server. |
| * it's very similar to fsf_create_thread, but we need a parameter |
| * to set the local scheduler task and actually it's outside |
| * the framework |
| * |
| * generic_task_create( |
| * server number, |
| * pthread_t of created task (-1 if failed), |
| * pthread_attr_t, |
| * task_body, |
| * arg of the body (must be "(void *)current"), |
| * arg for real-time task specification) |
| */ |
| |
| #define generic_calibrate_cycle calibrate_cycle |
| /* Set the calibration parameter "cal_cycle" |
| * only if it's initialized to 0. The calibration routine |