diff options
| author | André Almeida <andrealmeid@riseup.net> | 2020-02-17 02:27:23 -0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-02-17 06:27:23 +0100 |
| commit | d0d8e8bc776b3fd53659a8067a1eb6f69141d2eb (patch) | |
| tree | d15a154fcbdf6704e6a7a52a1aa6616e82303bbc /sys/linux/futex.txt | |
| parent | 1f448cd62db290246f8793128f85bd84aaa7a59d (diff) | |
sys/linux: add new FUTEX_WAIT_MULTIPLE operation
Create individual file for futex syscall and add description for the new
operation FUTEX_WAIT_MULTIPLE.
Signed-off-by: André Almeida <andrealmeid@collabora.com>
Diffstat (limited to 'sys/linux/futex.txt')
| -rw-r--r-- | sys/linux/futex.txt | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/sys/linux/futex.txt b/sys/linux/futex.txt new file mode 100644 index 000000000..cb412f938 --- /dev/null +++ b/sys/linux/futex.txt @@ -0,0 +1,27 @@ +# Copyright 2020 syzkaller project authors. All rights reserved. +# Use of this source code is governed by Apache 2 LICENSE that can be found in the LICENSE file. + +include <linux/futex.h> + +futex(addr ptr[in, int32[0:2]], op flags[futex_op], val int32[0:2], timeout ptr[in, timespec], addr2 ptr[in, int32[0:2]], val3 int32[0:2]) +futex$FUTEX_WAIT_MULTIPLE(addr ptr[in, array[futex_wait_block, 0:129]], op const[FUTEX_WAIT_MULTIPLE], val len[addr], timeout ptr[in, timespec], addr2 const[0], val3 const[0]) +set_robust_list(head ptr[in, robust_list_head], len len[head]) +get_robust_list(pid pid, head ptr[in, ptr[out, robust_list_head]], len ptr[inout, len[head, intptr]]) + +robust_list_head { + list ptr[in, robust_list, opt] + futex_offset intptr + list_op_pending ptr[in, robust_list, opt] +} + +robust_list { + next ptr[in, robust_list, opt] +} + +futex_wait_block { + uaddr ptr[in, int32[0:2]] + val int32[0:2] + bitset const[4294967295, int32] +} + +futex_op = FUTEX_WAIT, FUTEX_WAIT_BITSET, FUTEX_WAKE, FUTEX_REQUEUE, FUTEX_CMP_REQUEUE, FUTEX_WAIT_MULTIPLE, FUTEX_WAIT_PRIVATE, FUTEX_WAKE_PRIVATE, FUTEX_WAIT_REQUEUE_PI_PRIVATE, FUTEX_CMP_REQUEUE_PI_PRIVATE, FUTEX_WAIT_MULTIPLE_PRIVATE |