sel4_config::consts

Constant MAX_NUM_TRACE_POINTS

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