/** Copied from the task_info struct during task_register(). */
void (*pre_select)(struct sched *s, struct task *t);
/** Copied from the task_info struct during task_register(). */
/** Copied from the task_info struct during task_register(). */
void (*pre_select)(struct sched *s, struct task *t);
/** Copied from the task_info struct during task_register(). */