Constant CONFIG_TIMESLICE_SIZE

Source
pub const CONFIG_TIMESLICE_SIZE: isize = 20;