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

int eventfd(unsigned int count, int flags)
{
	return syscall(SYS_eventfd2, count, flags);
}