pub const __NR_sched_get_priority_max: u32 = 146; // 146u32