| /shark/trunk/ports/first/first-server.c |
|---|
| 295,10 → 295,6 |
| int local_scheduler_level,scheduler_id; |
| #ifdef FSF_DEBUG |
| kern_printf("(FSF:Insert thread = %d to Server = %d)",*thread,server); |
| #endif |
| /* Check if server and thread exsist */ |
| if (server == NIL) |
| return FSF_ERR_INVALID_SERVER; |
| 417,7 → 413,7 |
| switch (scheduler_id) { |
| case FSF_SCHEDULER_POSIX: |
| POSIXSTAR_set_nopreemtive_current(local_scheduler_level); |
| POSIXSTAR_unset_nopreemtive_current(local_scheduler_level); |
| return 1; |
| break; |
| case FSF_SCHEDULER_EDF: |