#include "pub_core_basics.h"
#include "pub_core_vki.h"
#include "pub_core_vkiscnums.h"
+#include "pub_core_libcsetjmp.h" // to keep _threadstate.h happy
#include "pub_core_threadstate.h"
#include "pub_core_aspacemgr.h"
#include "pub_core_debuglog.h"
// (__NR_security, sys_ni_syscall), // 185
LINX_(__NR_gettid, sys_gettid), // 186
- // (__NR_readahead, sys_readahead), // 187
+ LINX_(__NR_readahead, sys_readahead), // 187
LINX_(__NR_setxattr, sys_setxattr), // 188
LINX_(__NR_lsetxattr, sys_lsetxattr), // 189