pub const __NR_sched_rr_get_interval: u32 = 161;