#include <sys/eventfd.h>
#include <sys/syscall.h>
#include <unistd.h>

int eventfd(unsigned int initval, int flags)
{
	return syscall(SYS_EVENTFD, initval, flags);
}