const SCHED_FLAG_UTIL_CLAMP_MAX: u64 = 0x40;