pub unsafe extern "C" fn u_eventfd_ocall( result: *mut c_int, errno: *mut c_int, initval: c_uint, flags: c_int ) -> SgxStatus