diff options
Diffstat (limited to 'src/kern/linux')
| -rw-r--r-- | src/kern/linux/linux.hh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/kern/linux/linux.hh b/src/kern/linux/linux.hh index 1d52ff323..1fcd80444 100644 --- a/src/kern/linux/linux.hh +++ b/src/kern/linux/linux.hh @@ -225,6 +225,7 @@ class Linux : public OperatingSystem static const unsigned TGT_FUTEX_WAKE = 1; static const unsigned TGT_EAGAIN = 11; static const unsigned TGT_EWOULDBLOCK = TGT_EAGAIN; + static const unsigned TGT_FUTEX_PRIVATE_FLAG = 128; }; // class Linux |