Constant miri::machine::NUM_CPUS

source ·
pub const NUM_CPUS: u64 = 1;