Constant sel4_config::consts::BENCHMARK_TRACEPOINTS

pub const BENCHMARK_TRACEPOINTS: bool = false;