pub const __NR_sched_setattr: u32 = 314; // 314u32