void do_yield(){ enter_critical(); put_current_running(); scheduler_entry(); leave_critical(); }
/* This is just like do_yield(), * but does not call enter_/leave_critical first. * It is called by the timer interrupt in entry.S */ void do_yield_naked() { ASSERT( disable_count ); put_current_running(); scheduler_entry(); }