sys_eventfd
return sys_eventfd(l, &ua, retval);
.sy_call = (sy_call_t *)sys_eventfd
check_syscall_args(sys_eventfd)
int sys_eventfd(struct lwp *, const struct sys_eventfd_args *, register_t *);