pub const SYS_getcpu: i64 = 309; // 309i64