pub const __NR_kcmp: u32 = 312; // 312u32