pub const __NR_kcmp: u32 = 312;