Constant linux_raw_sys::prctl::PR_SCHED_CORE_MAX

pub const PR_SCHED_CORE_MAX: u32 = 4;