pub const SYS_sched_getattr: i64 = 315; // 315i64