void sched_initialization(void) { int i; for (i = 0 ; i < NUM_PRIOS ; i++) { sched_init_thd(&priorities[i].runnable, 0, THD_FREE); } #ifdef DEFERRABLE sched_init_thd(&servers, 0, THD_FREE); #endif }
void sched_initialization(void) { int i; for (i = 0 ; i < NUM_PRIOS ; i++) { sched_init_thd(&PERCPU_GET(fprr_state)->priorities[i].runnable, 0, THD_FREE); } PERCPU_GET(fprr_state)->active = 0; #ifdef DEFERRABLE sched_init_thd(&PERCPU_GET(fprr_state)->servers, 0, THD_FREE); PERCPU_GET(fprr_state)->ticks = 0; #endif }