pub const PR_SCHED_CORE_MAX: i32 = 4;