Module cpu 

CPU-related definitions.

Re-exports

pub use set::AtomicCpuSet;

pub use set::CpuSet;

Modules

set

This module contains the implementation of the CPU set and atomic CPU set.

Structs

CpuId

The ID of a CPU in the system.

CpuIdFromIntError

The error type returned when converting an out-of-range integer to CpuId.

Functions

all_cpus

Returns an iterator over all CPUs.

axiom_cpu_count_bounds

cpu_count

cpu_id_from_index

lemma_cpu_id_model

lemma_type_inv_range

num_cpus

Returns the number of CPUs.