Module cpu_affinity 

Structs

CpuAffinityMask

A thread’s CPU affinity mask determines the set of CPUs on which it is eligible to run.

Constants

MAX_CPUS

The maximum number of CPUs supported by miri.

Traits

EvalContextExt