This file is indexed.

/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