Constant sgx_libc::SYS_timerfd_create

pub const SYS_timerfd_create: i64 = 283; // 283i64