sel4_config::consts

Constant BENCHMARK_TRACEPOINTS

Source 
pub const BENCHMARK_TRACEPOINTS: bool = false;