#include "futex.h"
#include "syscall.h"

int __futex(volatile int *addr, int op, int val, void *ts)
{
	return syscall(SYS_futex, addr, op, val, ts);
}