pub const MAX_CPUS: usize = 1024;
Expand description
The maximum number of CPUs supported by miri.
This value is compatible with the libc CPU_SETSIZE
constant and corresponds to the number
of CPUs that a cpu_set_t
can contain.
Real machines can have more CPUs than this number, and there exist APIs to set their affinity, but this is not currently supported by miri.