static struct sched_thd *fp_get_second_highest_prio(struct sched_thd *highest) { struct sched_thd *t; fp_rem_thd(highest); t = fp_get_highest_prio(); fp_add_start_runnable(highest); return t; }
static struct sched_thd *fp_get_second_highest_prio(struct sched_thd *highest) { struct sched_thd *t; fp_rem_thd(highest); t = fp_get_highest_prio(); fp_add_start_runnable(highest); /* printc("second highest thd %d\n", t->id); */ return t; }