SYSCALL_DEFINE2(eventfd2, unsigned int, count, int, flags) { return do_eventfd(count, flags); }
SYSCALL_DEFINE1(eventfd, unsigned int, count) { return do_eventfd(count, 0); }
int sys_eventfd2(struct tcb *tcp) { return do_eventfd(tcp, 1); }
SYSCALL_DEFINE2(eventfd2, unsigned int, count, int, flags) { return do_eventfd(count, flags); }
SYSCALL_DEFINE1(eventfd, unsigned int, count) { return do_eventfd(count, 0); }
int sys_eventfd2(struct tcb *tcp) { return do_eventfd(tcp, 1); }