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

/barrelfish-master/kernel/include/
H A Dschedule.h54 void scheduler_restore_state(void);
/barrelfish-master/kernel/
H A Dschedule_rr.c156 void scheduler_restore_state(void) function
H A Dschedule_rbed.c627 void scheduler_restore_state(void) function
/barrelfish-master/kernel/arch/x86/
H A Dstartup_x86.c534 scheduler_restore_state();

Completed in 48 milliseconds