linux32_sys_eventfd
check_syscall_args(linux32_sys_eventfd)
int linux32_sys_eventfd(struct lwp *, const struct linux32_sys_eventfd_args *, register_t *);
.sy_call = (sy_call_t *)linux32_sys_eventfd
check_syscall_args(linux32_sys_eventfd)
int linux32_sys_eventfd(struct lwp *, const struct linux32_sys_eventfd_args *, register_t *);
.sy_call = (sy_call_t *)linux32_sys_eventfd