diff options
Diffstat (limited to 'src/kern')
| -rw-r--r-- | src/kern/linux/linux.hh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/kern/linux/linux.hh b/src/kern/linux/linux.hh index 2da596814..4ed39028b 100644 --- a/src/kern/linux/linux.hh +++ b/src/kern/linux/linux.hh @@ -241,6 +241,8 @@ class Linux : public OperatingSystem // For futex system call static const unsigned TGT_FUTEX_WAIT = 0; static const unsigned TGT_FUTEX_WAKE = 1; + static const unsigned TGT_FUTEX_REQUEUE = 3; + static const unsigned TGT_FUTEX_CMP_REQUEUE = 4; static const unsigned TGT_FUTEX_WAIT_BITSET = 9; static const unsigned TGT_FUTEX_WAKE_BITSET = 10; static const unsigned TGT_EAGAIN = 11; |