Constant linux_raw_sys::general::__NR_sched_rr_get_interval_time64

pub const __NR_sched_rr_get_interval_time64: u32 = 423;