do_eventfd
return do_eventfd(l, initval, nflags, retval);
return do_eventfd(l, SCARG(uap, val), SCARG(uap, flags), retval);
int do_eventfd(struct lwp *, unsigned int, int, register_t *);