| 613,8 → 613,17 |
|---|
| msg->command = STD_SET_NEW_LEVEL; |
| msg->param = (void *)(local_scheduler_level); |
| task_message(msg,thread,0); |
| level_table[proc_table[thread].task_level]->public_dispatch(proc_table[thread].task_level, thread, 0); |
| level_table[proc_table[thread].task_level]->public_epilogue(proc_table[thread].task_level, thread); |
| //} else { |
| if (cap_timer != NIL) { |
| event_delete(cap_timer); |
| cap_timer = NIL; |
| } |
| |
| scheduler(); |
| kern_context_load(proc_table[exec_shadow].context); |
| |
| kern_frestore(f); |
| free(msg); |
| } else return FSF_ERR_INTERNAL_ERROR; |