Constant __NR_sched_get_priority_max 

pub const __NR_sched_get_priority_max: u32 = 146;