pub const SYS_sched_getattr: i32 = 352;