pub const HW_NCPUONLINE: c_int = 25;