Constant sgx_libc::SYS_eventfd

pub const SYS_eventfd: i64 = 284; // 284i64