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; |