1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
//! CPU Frequency Control Backend (PMAT-038)
//!
//! Interface with Linux cpufreq to lock CPU frequency for deterministic benchmarks.
//!
//! # Features
//!
//! - Read current CPU frequency
//! - Detect CPU governor (performance/powersave/ondemand)
//! - Frequency lock with RAII guard
//! - Measure variance before/after locking
//!
//! # Falsification Criteria (F1301-F1310)
//!
//! See `tests/frequency_control_f1301.rs` for falsification tests.
pub use FrequencyController;
pub use CpuGovernor;
pub use CpuFrequencyInfo;
pub use FrequencyLock;
pub use FrequencyReading;
pub use FrequencyVariance;
/// Get number of CPUs