Constant SYS_sched_rr_get_interval 

pub const SYS_sched_rr_get_interval: c_long = 148;