[][src]Constant kernel::symbols::SCHEDULER_INTERVAL

pub const SCHEDULER_INTERVAL: usize = 1_000_000;

Scheduler timer interrupt interval