miri
1.78.0-nightly
(b381d3ab2 2024-02-12)
Module sync
Functions
In miri::shims::unix::linux
?
Module
miri
::
shims
::
unix
::
linux
::
sync
source
·
[
−
]
Functions
§
futex
Implementation of the SYS_futex syscall.
args
is the arguments
after
the syscall number.