3 #ifdef HAVE_SYS_EVENTFD_H
4 # include <sys/eventfd.h>
7 #include "xlat/efd_flags.h"
10 do_eventfd(struct tcb *tcp, int flags_arg)
12 tprintf("%u", (unsigned int) tcp->u_arg[0]);
15 printflags(efd_flags, tcp->u_arg[flags_arg], "EFD_???");
18 return RVAL_DECODED | RVAL_FD;
23 return do_eventfd(tcp, -1);
28 return do_eventfd(tcp, 1);