static void _Scheduler_SMP_Do_nothing_register_idle(Scheduler_Context *context, Scheduler_Node *idle, Per_CPU_Control *cpu)
Does nothing.
SMP Scheduler Implementation.
static void _Scheduler_SMP_Do_start_idle(Scheduler_Context *context, Thread_Control *idle, Per_CPU_Control *cpu, Scheduler_SMP_Register_idle register_idle)
Starts the idle thread on the given processor.
static __inline__ Scheduler_Context * _Scheduler_Get_context(const Scheduler_Control *scheduler)
Gets the context of the scheduler.
void _Scheduler_SMP_Start_idle(const Scheduler_Control *scheduler, Thread_Control *idle, Per_CPU_Control *cpu)
Starts an idle thread on the specified cpu.