| 
| void  | _Scheduler_priority_SMP_Initialize (const Scheduler_Control *scheduler) | 
|   | Initializes the priority SMP scheduler.  More...
  | 
|   | 
| void  | _Scheduler_priority_SMP_Node_initialize (const Scheduler_Control *scheduler, Scheduler_Node *node, Thread_Control *the_thread, Priority_Control priority) | 
|   | Initializes the node with the given priority.  More...
  | 
|   | 
| void  | _Scheduler_priority_SMP_Block (const Scheduler_Control *scheduler, Thread_Control *thread, Scheduler_Node *node) | 
|   | Blocks the thread.  More...
  | 
|   | 
| void  | _Scheduler_priority_SMP_Unblock (const Scheduler_Control *scheduler, Thread_Control *thread, Scheduler_Node *node) | 
|   | Unblocks the thread.  More...
  | 
|   | 
| void  | _Scheduler_priority_SMP_Update_priority (const Scheduler_Control *scheduler, Thread_Control *thread, Scheduler_Node *node) | 
|   | Updates the priority of the node.  More...
  | 
|   | 
| bool  | _Scheduler_priority_SMP_Ask_for_help (const Scheduler_Control *scheduler, Thread_Control *the_thread, Scheduler_Node *node) | 
|   | Asks for help operation.  More...
  | 
|   | 
| void  | _Scheduler_priority_SMP_Reconsider_help_request (const Scheduler_Control *scheduler, Thread_Control *the_thread, Scheduler_Node *node) | 
|   | Reconsiders help operation.  More...
  | 
|   | 
| void  | _Scheduler_priority_SMP_Withdraw_node (const Scheduler_Control *scheduler, Thread_Control *the_thread, Scheduler_Node *node, Thread_Scheduler_state next_state) | 
|   | Withdraws node operation.  More...
  | 
|   | 
| void  | _Scheduler_priority_SMP_Add_processor (const Scheduler_Control *scheduler, Thread_Control *idle) | 
|   | Adds idle to scheduler.  More...
  | 
|   | 
| Thread_Control *  | _Scheduler_priority_SMP_Remove_processor (const Scheduler_Control *scheduler, Per_CPU_Control *cpu) | 
|   | Removes an idle thread from the given cpu.  More...
  | 
|   | 
| void  | _Scheduler_priority_SMP_Yield (const Scheduler_Control *scheduler, Thread_Control *thread, Scheduler_Node *node) | 
|   | Performs the yield of a thread.  More...
  | 
|   | 
Deterministic Priority SMP Scheduler Implementation.