DEFAULT_TIME_SLICE

os::kernel::scheduler::rr_scheduler

Constant DEFAULT_TIME_SLICE 

Source 
const DEFAULT_TIME_SLICE: usize = 1;