Constant MAX_VIRTUAL_CPUS 

pub const MAX_VIRTUAL_CPUS: u32 = 128;

The most CPUs --virtual-cpus presents: the bits of the 128-bit mask Detcore’s sched_getaffinity answers with, whose highest CPU is the kernel_max (127) it reports.