Searched defs:kernel_timeslice (Results 1 - 2 of 2) sorted by relevance
/barrelfish-master/kernel/ | ||
H A D | dispatch.c | 45 systime_t kernel_timeslice; variable |
/barrelfish-master/tools/schedsim/ | ||
H A D | simulator.c | 103 static int kernel_timeslice = 80; variable |
Completed in 43 milliseconds