Constant __NR_sched_rr_get_interval 

pub const __NR_sched_rr_get_interval: u32 = 148;