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

/barrelfish-master/kernel/include/
H A Dschedule.h48 void scheduler_reset_time(void);
/barrelfish-master/kernel/arch/x86/
H A Dsyscall.c79 scheduler_reset_time();
/barrelfish-master/kernel/
H A Dschedule_rr.c120 void scheduler_reset_time(void) function
H A Dschedule_rbed.c572 void scheduler_reset_time(void) function
630 scheduler_reset_time();
H A Dsyscall.c892 scheduler_reset_time();

Completed in 96 milliseconds