/usr/include/diet/sys/futex.h is in dietlibc-dev 0.33~cvs20120325-6+deb8u1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 | #ifndef _SYS_FUTEX_H
#define _SYS_FUTEX_H
#include <sys/time.h>
enum {
FUTEX_WAIT=0,
FUTEX_WAKE=1,
FUTEX_FD=2,
FUTEX_REQUEUE=3,
FUTEX_CMP_REQUEUE=4,
};
long futex(int* uaddr,int op,int val,const struct timespec* timeout,int* uaddr2,int val3);
#endif
|