pub const __NR_getcpu: u32 = 318;