Searched refs:scheduler_convert (Results 1 - 4 of 4) sorted by relevance

/barrelfish-master/kernel/include/
H A Dschedule.h51 void scheduler_convert(void);
/barrelfish-master/kernel/
H A Dschedule_rr.c125 void scheduler_convert(void) function
H A Dschedule_rbed.c592 void scheduler_convert(void) function
/barrelfish-master/kernel/arch/x86/
H A Dstartup_x86.c521 scheduler_convert();
526 scheduler_convert();

Completed in 50 milliseconds