TIMER_TICK_MS

sel4_config::consts

Constant TIMER_TICK_MS 

Source 
pub const TIMER_TICK_MS: &str = "2";