void _Scheduler_priority_Update( Scheduler_Control *base, Thread_Control *the_thread ) { Scheduler_priority_Control *self = _Scheduler_priority_Self_from_base( base ); _Scheduler_priority_Update_body( the_thread, &self->Bit_map, &self->Ready[ 0 ] ); }
void _Scheduler_priority_SMP_Update( Thread_Control *thread ) { Scheduler_SMP_Control *self = _Scheduler_SMP_Instance(); _Scheduler_priority_Update_body( thread, &self->ready[ 0 ] ); }