diff options
Diffstat (limited to 'src/kern/linux')
| -rw-r--r-- | src/kern/linux/linux.hh | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/kern/linux/linux.hh b/src/kern/linux/linux.hh index 30ebdbb4a..5721e5a58 100644 --- a/src/kern/linux/linux.hh +++ b/src/kern/linux/linux.hh @@ -171,6 +171,12 @@ class Linux : public OperatingSystem static int openSpecialFile(std::string path, LiveProcess *process, ThreadContext *tc); static std::string procMeminfo(LiveProcess *process, ThreadContext *tc); + // For futex system call + static const unsigned TGT_FUTEX_WAIT = 0; + static const unsigned TGT_FUTEX_WAKE = 1; + static const unsigned TGT_EAGAIN = 11; + static const unsigned TGT_EWOULDBLOCK = TGT_EAGAIN; + }; // class Linux #endif // __LINUX_HH__ |