Constant linux_raw_sys::general::__NR_sched_setscheduler

pub const __NR_sched_setscheduler: u32 = 144;