#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"
PLAXY(223, sys_syscall223), // 223 // sys_bproc?
LINX_(__NR_gettid, sys_gettid), // 224
-//zz // (__NR_readahead, sys_readahead), // 225 */(Linux?)
+ LINX_(__NR_readahead, sys_readahead), // 225 */Linux
LINX_(__NR_setxattr, sys_setxattr), // 226
LINX_(__NR_lsetxattr, sys_lsetxattr), // 227
LINX_(__NR_fsetxattr, sys_fsetxattr), // 228