void handle_timer(registers_t* regs) { if(jiffies >= 0xFFFFFFFFFFFFFFFE) jiffies = 0; else jiffies++; do_schedule(); return; }
void do_spawn(coroutine_pointer co) { all_.insert(co); do_schedule(co); }
void schedule_queue_first( queue q, event::condition_variable& cv, event::mutex& mt, size_t min ) { do_schedule( q, &cv, &mt, min, true ); }
void schedule_queue_first( queue q ) { do_schedule( q, nullptr, nullptr, 0, true ); }
void schedule_queue( queue q ) { do_schedule( q, nullptr, nullptr, 0, false ); }