pub const __NR_sched_rr_get_interval: u32 = 148;