miri
1.82.0-nightly
(7c2012d0e 2024-07-26)
In miri::shims::unix::sync
Function
miri
::
shims
::
unix
::
sync
::
mutexattr_kind_offset
Copy item path
source
ยท
[
−
]
fn mutexattr_kind_offset<'tcx>( ecx: &
MiriInterpCx
<'tcx>, ) ->
InterpResult
<'tcx,
u64
>