kernel::drivers::pic::plic

Constant MAX_CPUS

Source 
const MAX_CPUS: CpuId = 15872;
Expand description

Maximum number of CPUs supported by this PLIC implementation