Constant HW_AVAILCPU 

pub const HW_AVAILCPU: c_int = 25;