miri
1.83.0-nightly
(2bd1e894e 2024-09-26)
In miri::
shims::
unix::
sync
miri
::
shims
::
unix
::
sync
Function
rwlock_id_offset
Copy item path
source
fn rwlock_id_offset<'tcx>(ecx: &
MiriInterpCx
<'tcx>) ->
InterpResult
<'tcx,
u64
>