miri
1.87.0-nightly
(cbfdf0b01 2025-03-13)
In miri::
shims::
unix::
sync
Structs
PthreadCondvar
PthreadMutex
PthreadRwLock
Enums
ClockId
MutexKind
Constants
PTHREAD_MUTEX_KIND_UNCHANGED
Traits
EvalContextExt
Functions
bytewise_equal_atomic_relaxed
cond_create
cond_get_data
cond_init_offset
condattr_clock_offset
condattr_get_clock_id
condattr_set_clock_id
condattr_translate_clock_id
mutex_create
mutex_get_data
mutex_init_offset
mutex_kind_from_static_initializer
mutexattr_get_kind
mutexattr_kind_offset
mutexattr_set_kind
mutexattr_translate_kind
rwlock_get_data
rwlock_init_offset
miri
::
shims
::
unix
::
sync
Function
mutexattr_kind_offset
Copy item path
Settings
Help
Summary
Source
fn mutexattr_kind_offset<'tcx>( ecx: &
MiriInterpCx
<'tcx>, ) ->
InterpResult
<'tcx,
u64
>