Constant SYS_sched_getscheduler 

pub const SYS_sched_getscheduler: c_long = 145;