pub const SYS_sched_rr_get_interval: c_long = _; // 4_165i32