pub const SYS_sched_getparam: i64 = 143; // 143i64