Searched refs:systime_set_timeout (Results 1 - 7 of 7) sorted by relevance

/barrelfish-2018-10-04/kernel/include/
H A Dsystime.h42 void systime_set_timeout(systime_t timeout);
/barrelfish-2018-10-04/kernel/arch/armv7/
H A Dplat_a15mpcore.c94 systime_set_timeout(systime_now() + kernel_timeslice);
118 systime_set_timeout(now + kernel_timeslice);
130 void systime_set_timeout(systime_t timeout) function
H A Dplat_a9mpcore.c108 systime_set_timeout(systime_now() + kernel_timeslice);
125 systime_set_timeout(systime_now() + kernel_timeslice);
141 void systime_set_timeout(systime_t timeout) function
/barrelfish-2018-10-04/kernel/arch/x86/
H A Dapic.c422 void systime_set_timeout(systime_t timeout) function
/barrelfish-2018-10-04/kernel/arch/k1om/
H A Dinit.c519 systime_set_timeout(systime_now() + kernel_timeslice);
/barrelfish-2018-10-04/kernel/arch/x86_64/
H A Dinit.c504 systime_set_timeout(systime_now() + kernel_timeslice);
H A Dirq.c893 systime_set_timeout(now + kernel_timeslice);

Completed in 126 milliseconds