Constant __NR_sched_getparam 

pub const __NR_sched_getparam: u32 = 143;