Constant PR_SCHED_CORE_MAX 

pub const PR_SCHED_CORE_MAX: c_int = 4;