Constant __NR_sched_setparam 

pub const __NR_sched_setparam: u32 = 142;