Constant SYS_sched_setscheduler 

pub const SYS_sched_setscheduler: c_long = 144;