Constant __NR_sched_getscheduler

pub const __NR_sched_getscheduler: u32 = 145;