miri
1.83.0-nightly
(26b5599e4 2024-09-06)
Module sync
Module Items
Functions
In miri::
shims::
unix::
linux
Module
miri
::
shims
::
unix
::
linux
::
sync
Copy item path
source
·
[
−
]
Functions
§
futex
Implementation of the SYS_futex syscall.
args
is the arguments
after
the syscall number.