Searched refs:SCHED_RBED (Results 1 - 5 of 5) sorted by relevance

/barrelfish-master/kernel/include/
H A Dkcb.h29 SCHED_RBED, enumerator in enum:sched_state
/barrelfish-master/kernel/
H A Dschedule_rr.c129 case SCHED_RBED:
H A Dstartup.c146 kcb_current->sched = SCHED_RBED;
H A Dschedule_rbed.c596 case SCHED_RBED:
/barrelfish-master/kernel/arch/x86/
H A Dstartup_x86.c524 if (kcb_current->sched != SCHED_RBED) {

Completed in 89 milliseconds