Searched defs:timeslice (Results 1 - 4 of 4) sorted by relevance

/barrelfish-2018-10-04/kernel/arch/armv8/
H A Dtimers.c30 void timers_init(int timeslice) argument
/barrelfish-2018-10-04/kernel/arch/armv7/
H A Dplat_a15mpcore.c70 timers_init(int timeslice) { argument
H A Dplat_a9mpcore.c87 timers_init(int timeslice) { argument
/barrelfish-2018-10-04/include/barrelfish/
H A Ddispatcher.h65 uintptr_t timeslice; member in struct:dispatcher_generic

Completed in 33 milliseconds