Constant CONFIG_MP_MAX_NUM_CPUS 

pub const CONFIG_MP_MAX_NUM_CPUS: isize = 1;