1#include "futex.h"
2#include "syscall.h"
3
4int __futex(volatile int *addr, int op, int val, void *ts)
5{
6	return syscall(SYS_futex, addr, op, val, ts);
7}
8