Files | |
| file | sched.h | 
| Scheduler interface header.  | |
| file | sched-idle.c | 
| Idle scheduling class implementation (i.e. Linux placeholder).  | |
| file | sched-rt.c | 
| Common real-time scheduling class implementation (FIFO + RR).  | |
| file | sched-sporadic.c | 
| POSIX SCHED_SPORADIC scheduling class.  | |
| file | sched-tp.c | 
| Temporal partitioning (typical of IMA systems).  | |
Data Structures | |
| struct | xnsched | 
| Scheduling information structure.  More... | |
Typedefs | |
| typedef struct xnsched | xnsched_t | 
| Scheduling information structure.  | |
Functions | |
| static void | xnsched_rotate (struct xnsched *sched, struct xnsched_class *sched_class, const union xnsched_policy_param *sched_param) | 
| Rotate a scheduler runqueue.   | |
| void xnsched_rotate | ( | struct xnsched * | sched, | |
| struct xnsched_class * | sched_class, | |||
| const union xnsched_policy_param * | param | |||
| ) |  [inline, static] | 
        
Rotate a scheduler runqueue.
The specified scheduling class is requested to rotate its runqueue for the given scheduler. Rotation is performed according to the scheduling parameter specified by sched_param.
| sched | The per-CPU scheduler hosting the target scheduling class. | |
| sched_class | The scheduling class which should rotate its runqueue. | |
| sched_param | The scheduling parameter providing rotation information to the specified scheduling class. | 
This service should be called from:
Rescheduling: never.
 1.5.6