| /shark/trunk/ports/first/fsf_include/fsf_implementation_specific.h |
|---|
| 55,10 → 55,7 |
| //fsf_set_service_thread_preemption_level: this function sets the |
| //preemption level of the service thread to the specified value. The |
| //initial preemption level is a configurable parameter. This value |
| //is stored in a temporary variable and it is used the next time the |
| //service thread data is updated with the fsf_set_service_thread_data |
| //function |
| //initial preemption level is a configurable parameter |
| int |
| fsf_set_service_thread_preemption_level |