| 139,7 → 139,6 |
|---|
| void *local_scheduler_arg) |
| { |
| |
| NRT_TASK_MODEL nrt; |
| int local_scheduler_level,scheduler_id; |
| |
| #ifdef FSF_DEBUG |
| 157,15 → 156,10 |
|---|
| switch (scheduler_id) { |
| case FSF_SCHEDULER_POSIX: |
| |
| if (local_scheduler_arg == NULL) { |
| nrt_task_default_model(nrt); |
| nrt_task_def_save_arrivals(nrt); |
| nrt_task_def_arg(nrt,arg); |
| nrt_task_def_ctrl_jet(nrt); |
| nrt_task_def_level(nrt,local_scheduler_level); |
| nrt_task_def_arg(*(NRT_TASK_MODEL *)(local_scheduler_arg),arg); |
| nrt_task_def_level(*(NRT_TASK_MODEL *)(local_scheduler_arg),local_scheduler_level); |
| |
| *thread = task_create("POSIXSTAR", thread_code, &nrt, NULL); |
| } |
| *thread = task_create("POSIXSTAR", thread_code, local_scheduler_arg, NULL); |
| if (*thread == NIL) { |
| #ifdef FSF_DEBUG |
| kern_printf("(FSF:Error creating thread)"); |