Constant __NR_sched_getscheduler 

pub const __NR_sched_getscheduler: u32 = 145;