pub const SYS_sched_rr_get_interval: c_long = 148;