pub const SYS_sched_get_priority_max: i32 = 159;