sel4_config::consts

Constant PC99_TSC_FREQUENCY

Source 
pub const PC99_TSC_FREQUENCY: &str = "0";