void _Scheduler_simple_smp_Block( Thread_Control *the_thread ) { _Scheduler_simple_Extract( the_thread ); _Scheduler_simple_smp_Schedule(); }
void _Scheduler_simple_smp_Unblock( Thread_Control *the_thread ) { _Scheduler_simple_Ready_queue_enqueue(the_thread); /* * Evaluate all CPUs and pick heirs */ _Scheduler_simple_smp_Schedule(); }