miri
1.84.0-dev
In miri::
shims::
unix::
sync
miri
::
shims
::
unix
::
sync
Function
rwlock_init_offset
Copy item path
Source
fn rwlock_init_offset<'tcx>( ecx: &
MiriInterpCx
<'tcx>, ) ->
InterpResult
<'tcx,
Size
>