1# SPDX-License-Identifier: GPL-2.0-only
2futex_requeue_pi
3futex_requeue_pi_mismatched_ops
4futex_requeue_pi_signal_restart
5futex_wait_private_mapped_file
6futex_wait_timeout
7futex_wait_uninitialized_heap
8futex_wait_wouldblock
9futex_wait
10futex_requeue
11futex_waitv
12