List of all items

Structs

• AllocExtra
• BorTag
• CatchUnwindData
• CondvarRef
• DedupRangeMap
• DynSym
• FrameExtra
• GenmcConfig
• GenmcCtx
• InitOnceRef
• Instant
• Item
• LiveAllocs
• MaybeEnteredTraceSpan
• MiriAllocBytes
• MiriConfig
• MiriMachine
• MonoHashMap
• MonotonicClock
• MutexRef
• PrimitiveLayouts
• RwLockRef
• Stack
• Stacks
• ThreadId
• ThreadManager
• TlsData
• Tree
• TreeBorrowsParams
• alloc::alloc_bytes::MiriAllocBytes
• alloc::isolated_alloc::IsolatedAlloc
• alloc_addresses::GlobalStateInner
• alloc_addresses::reuse_pool::ReusePool
• borrow_tracker::BorTag
• borrow_tracker::FrameState
• borrow_tracker::GlobalStateInner
• borrow_tracker::TreeBorrowsParams
• borrow_tracker::stacked_borrows::Stacks
• borrow_tracker::stacked_borrows::diagnostics::AccessOp
• borrow_tracker::stacked_borrows::diagnostics::AllocHistory
• borrow_tracker::stacked_borrows::diagnostics::Creation
• borrow_tracker::stacked_borrows::diagnostics::DeallocOp
• borrow_tracker::stacked_borrows::diagnostics::DiagnosticCx
• borrow_tracker::stacked_borrows::diagnostics::DiagnosticCxBuilder
• borrow_tracker::stacked_borrows::diagnostics::Invalidation
• borrow_tracker::stacked_borrows::diagnostics::Protection
• borrow_tracker::stacked_borrows::diagnostics::RetagInfo
• borrow_tracker::stacked_borrows::diagnostics::RetagOp
• borrow_tracker::stacked_borrows::diagnostics::TagHistory
• borrow_tracker::stacked_borrows::item::Item
• borrow_tracker::stacked_borrows::stack::Stack
• borrow_tracker::stacked_borrows::stack::StackCache
• borrow_tracker::tree_borrows::NewPermission
• borrow_tracker::tree_borrows::diagnostics::DisplayFmt
• borrow_tracker::tree_borrows::diagnostics::DisplayFmtAccess
• borrow_tracker::tree_borrows::diagnostics::DisplayFmtPadding
• borrow_tracker::tree_borrows::diagnostics::DisplayFmtPermission
• borrow_tracker::tree_borrows::diagnostics::DisplayFmtWrapper
• borrow_tracker::tree_borrows::diagnostics::DisplayIndent
• borrow_tracker::tree_borrows::diagnostics::DisplayRepr
• borrow_tracker::tree_borrows::diagnostics::Event
• borrow_tracker::tree_borrows::diagnostics::History
• borrow_tracker::tree_borrows::diagnostics::HistoryData
• borrow_tracker::tree_borrows::diagnostics::NodeDebugInfo
• borrow_tracker::tree_borrows::diagnostics::TbError
• borrow_tracker::tree_borrows::perms::PermTransition
• borrow_tracker::tree_borrows::perms::Permission
• borrow_tracker::tree_borrows::tree::ErrHandlerArgs
• borrow_tracker::tree_borrows::tree::LocationState
• borrow_tracker::tree_borrows::tree::Node
• borrow_tracker::tree_borrows::tree::NodeAppArgs
• borrow_tracker::tree_borrows::tree::Tree
• borrow_tracker::tree_borrows::tree::TreeVisitor
• borrow_tracker::tree_borrows::tree::TreeVisitorStack
• borrow_tracker::tree_borrows::unimap::UniEntry
• borrow_tracker::tree_borrows::unimap::UniIndex
• borrow_tracker::tree_borrows::unimap::UniKeyMap
• borrow_tracker::tree_borrows::unimap::UniValMap
• borrow_tracker::tree_borrows::unimap::tests::MapWitness
• clock::Instant
• clock::MonotonicClock
• concurrency::cpu_affinity::CpuAffinityMask
• concurrency::data_race::AtomicMemoryCellClocks
• concurrency::data_race::DataRace
• concurrency::data_race::FrameState
• concurrency::data_race::GlobalState
• concurrency::data_race::LocalClocks
• concurrency::data_race::MemoryCellClocks
• concurrency::data_race::ThreadClockSet
• concurrency::data_race::ThreadExtraState
• concurrency::data_race::VClockAlloc
• concurrency::genmc::GenmcConfig
• concurrency::genmc::GenmcCtx
• concurrency::init_once::InitOnce
• concurrency::init_once::InitOnceRef
• concurrency::sync::Condvar
• concurrency::sync::CondvarRef
• concurrency::sync::Futex
• concurrency::sync::FutexRef
• concurrency::sync::FutexWaiter
• concurrency::sync::Mutex
• concurrency::sync::MutexRef
• concurrency::sync::RwLock
• concurrency::sync::RwLockRef
• concurrency::thread::Thread
• concurrency::thread::ThreadId
• concurrency::thread::ThreadManager
• concurrency::thread::ThreadNotFound
• concurrency::vector_clock::VClock
• concurrency::vector_clock::VTimestamp
• concurrency::vector_clock::VectorIdx
• concurrency::weak_memory::LoadInfo
• concurrency::weak_memory::StoreBuffer
• concurrency::weak_memory::StoreBufferAlloc
• concurrency::weak_memory::StoreElement
• data_structures::dedup_range_map::DedupRangeMap
• data_structures::dedup_range_map::Elem
• data_structures::mono_hash_map::MonoHashMap
• data_structures::range_object_map::Elem
• data_structures::range_object_map::RangeObjectMap
• diagnostics::RacingOp
• eval::MiriConfig
• helpers::MaybeEnteredTraceSpan
• machine::AllocExtra
• machine::FrameExtra
• machine::MiriMachine
• machine::PrimitiveLayouts
• provenance_gc::LiveAllocs
• shims::files::FdId
• shims::files::FdIdWith
• shims::files::FdTable
• shims::files::FileDescriptionRef
• shims::files::FileHandle
• shims::files::NullOutput
• shims::files::WeakFileDescriptionRef
• shims::foreign_items::DynSym
• shims::global_ctor::GlobalCtorState
• shims::native_lib::AccessRange
• shims::native_lib::MemEvents
• shims::native_lib::trace::child::Supervisor
• shims::native_lib::trace::child::SvInitError
• shims::native_lib::trace::messages::Confirmation
• shims::native_lib::trace::messages::StartFfiInfo
• shims::native_lib::trace::parent::ChildListener
• shims::native_lib::trace::parent::ExecEnd
• shims::tls::RunningDtorState
• shims::tls::TlsData
• shims::tls::TlsDtorsState
• shims::tls::TlsEntry
• shims::unix::env::UnixEnvVars
• shims::unix::freebsd::sync::FreeBsdFutex
• shims::unix::freebsd::sync::UmtxTime
• shims::unix::fs::DirTable
• shims::unix::fs::FileMetadata
• shims::unix::fs::OpenDir
• shims::unix::linux_like::epoll::Epoll
• shims::unix::linux_like::epoll::EpollEventInstance
• shims::unix::linux_like::epoll::EpollEventInterest
• shims::unix::linux_like::epoll::EpollInterestTable
• shims::unix::linux_like::epoll::EpollReadyEvents
• shims::unix::linux_like::epoll::ReadyList
• shims::unix::linux_like::eventfd::EventFd
• shims::unix::linux_like::sync::LinuxFutex
• shims::unix::macos::sync::MacOsFutex
• shims::unix::sync::PthreadCondvar
• shims::unix::sync::PthreadMutex
• shims::unix::sync::PthreadRwLock
• shims::unix::unnamed_socket::AnonSocket
• shims::unix::unnamed_socket::Buffer
• shims::unwind::CatchUnwindData
• shims::windows::env::WindowsEnvVars
• shims::windows::fs::DirHandle
• shims::windows::fs::FileAttributes
• shims::windows::fs::MetadataHandle
• shims::windows::sync::WindowsFutex
• shims::windows::sync::WindowsInitOnce

Enums

• AccessKind
• AlignmentCheck
• AtomicFenceOrd
• AtomicReadOrd
• AtomicRwOrd
• AtomicWriteOrd
• BacktraceStyle
• BlockReason
• BorrowTrackerMethod
• EmulateItemResult
• EnvVars
• IoError
• IsolatedOp
• MiriEntryFnType
• MiriMemoryKind
• NonHaltingDiagnostic
• Permission
• Provenance
• ProvenanceExtra
• ProvenanceMode
• RejectOpWith
• RetagFields
• TerminationInfo
• TimeoutAnchor
• TimeoutClock
• UnblockKind
• ValidationMode
• alloc::alloc_bytes::MiriAllocParams
• alloc_addresses::ProvenanceMode
• borrow_tracker::AllocState
• borrow_tracker::BorrowTrackerMethod
• borrow_tracker::ProtectorKind
• borrow_tracker::RetagFields
• borrow_tracker::stacked_borrows::ItemInvalidationCause
• borrow_tracker::stacked_borrows::NewPermission
• borrow_tracker::stacked_borrows::diagnostics::InvalidationCause
• borrow_tracker::stacked_borrows::diagnostics::Operation
• borrow_tracker::stacked_borrows::diagnostics::RetagCause
• borrow_tracker::stacked_borrows::item::Permission
• borrow_tracker::tree_borrows::diagnostics::AccessCause
• borrow_tracker::tree_borrows::diagnostics::TransitionError
• borrow_tracker::tree_borrows::foreign_access_skipping::IdempotentForeignAccess
• borrow_tracker::tree_borrows::perms::PermissionPriv
• borrow_tracker::tree_borrows::tree::AccessRelatedness
• borrow_tracker::tree_borrows::tree::ChildrenVisitMode
• borrow_tracker::tree_borrows::tree::ContinueTraversal
• borrow_tracker::tree_borrows::tree::RecursionState
• clock::InstantKind
• clock::MonotonicClockKind
• concurrency::data_race::AccessType
• concurrency::data_race::AtomicAccessType
• concurrency::data_race::AtomicFenceOrd
• concurrency::data_race::AtomicReadOrd
• concurrency::data_race::AtomicRwOrd
• concurrency::data_race::AtomicWriteOrd
• concurrency::data_race::NaReadType
• concurrency::data_race::NaWriteType
• concurrency::data_race_handler::AllocDataRaceHandler
• concurrency::data_race_handler::GlobalDataRaceHandler
• concurrency::init_once::InitOnceStatus
• concurrency::thread::BlockReason
• concurrency::thread::SchedulingAction
• concurrency::thread::ThreadJoinStatus
• concurrency::thread::ThreadState
• concurrency::thread::Timeout
• concurrency::thread::TimeoutAnchor
• concurrency::thread::TimeoutClock
• concurrency::thread::TlsAllocAction
• concurrency::thread::UnblockKind
• concurrency::weak_memory::LoadRecency
• data_structures::range_object_map::AccessType
• diagnostics::DiagLevel
• diagnostics::NonHaltingDiagnostic
• diagnostics::TerminationInfo
• eval::AlignmentCheck
• eval::BacktraceStyle
• eval::IsolatedOp
• eval::MainThreadState
• eval::MiriEntryFnType
• eval::RejectOpWith
• eval::ValidationMode
• helpers::AccessKind
• intrinsics::atomic::AtomicOp
• intrinsics::simd::MinMax
• machine::MiriMemoryKind
• machine::Provenance
• machine::ProvenanceExtra
• shims::EmulateItemResult
• shims::env::EnvVars
• shims::global_ctor::GlobalCtorStatePriv
• shims::io_error::IoError
• shims::native_lib::AccessEvent
• shims::native_lib::CArg
• shims::native_lib::trace::messages::TraceRequest
• shims::native_lib::trace::parent::ExecEvent
• shims::native_lib::trace::parent::InitialCont
• shims::os_str::PathConversion
• shims::tls::TlsDtorsStatePriv
• shims::unix::fd::FlockOp
• shims::unix::macos::sync::MacOsFutexTimeout
• shims::unix::macos::sync::MacOsUnfairLock
• shims::unix::sync::ClockId
• shims::unix::sync::MutexKind
• shims::unix::thread::ThreadNameResult
• shims::unix::unnamed_socket::AnonSocketType
• shims::windows::fs::CreationDisposition
• shims::windows::handle::Handle
• shims::windows::handle::HandleError
• shims::windows::handle::PseudoHandle
• shims::x86::FloatBinOp
• shims::x86::FloatUnaryOp
• shims::x86::ShiftOp

Traits

• MachineCallback
• MiriInterpCxExt
• VisitProvenance
• alloc_addresses::EvalContextExt
• alloc_addresses::EvalContextExtPriv
• borrow_tracker::EvalContextExt
• borrow_tracker::stacked_borrows::EvalContextExt
• borrow_tracker::stacked_borrows::EvalContextPrivExt
• borrow_tracker::tree_borrows::EvalContextExt
• borrow_tracker::tree_borrows::EvalContextPrivExt
• concurrency::data_race::EvalContextExt
• concurrency::data_race::EvalContextPrivExt
• concurrency::init_once::EvalContextExt
• concurrency::sync::EvalContextExt
• concurrency::sync::EvalContextExtPriv
• concurrency::thread::EvalContextExt
• concurrency::thread::EvalContextPrivExt
• concurrency::weak_memory::EvalContextExt
• diagnostics::EvalContextExt
• helpers::EvalContextExt
• helpers::ToHost
• helpers::ToSoft
• helpers::ToU64
• helpers::ToUsize
• intrinsics::EvalContextExt
• intrinsics::atomic::EvalContextExt
• intrinsics::atomic::EvalContextPrivExt
• intrinsics::simd::EvalContextExt
• machine::MachineCallback
• machine::MiriInterpCxExt
• math::IeeeExt
• operator::EvalContextExt
• provenance_gc::EvalContextExt
• provenance_gc::VisitProvenance
• shims::aarch64::EvalContextExt
• shims::alloc::EvalContextExt
• shims::backtrace::EvalContextExt
• shims::env::EvalContextExt
• shims::files::EvalContextExt
• shims::files::FileDescription
• shims::files::FileDescriptionExt
• shims::foreign_items::EvalContextExt
• shims::foreign_items::EvalContextExtPriv
• shims::io_error::EvalContextExt
• shims::native_lib::EvalContextExt
• shims::native_lib::EvalContextExtPriv
• shims::native_lib::trace::parent::ArchIndependentRegs
• shims::os_str::EvalContextExt
• shims::panic::EvalContextExt
• shims::time::EvalContextExt
• shims::tls::EvalContextPrivExt
• shims::unix::android::foreign_items::EvalContextExt
• shims::unix::env::EvalContextExt
• shims::unix::fd::EvalContextExt
• shims::unix::fd::UnixFileDescription
• shims::unix::foreign_items::EvalContextExt
• shims::unix::freebsd::foreign_items::EvalContextExt
• shims::unix::freebsd::sync::EvalContextExt
• shims::unix::fs::EvalContextExt
• shims::unix::fs::EvalContextExtPrivate
• shims::unix::linux::foreign_items::EvalContextExt
• shims::unix::linux::mem::EvalContextExt
• shims::unix::linux_like::epoll::EvalContextExt
• shims::unix::linux_like::eventfd::EvalContextExt
• shims::unix::macos::foreign_items::EvalContextExt
• shims::unix::macos::sync::EvalContextExt
• shims::unix::macos::sync::EvalContextExtPriv
• shims::unix::mem::EvalContextExt
• shims::unix::solarish::foreign_items::EvalContextExt
• shims::unix::sync::EvalContextExt
• shims::unix::thread::EvalContextExt
• shims::unix::unnamed_socket::EvalContextExt
• shims::unwind::EvalContextExt
• shims::wasi::foreign_items::EvalContextExt
• shims::windows::env::EvalContextExt
• shims::windows::foreign_items::EvalContextExt
• shims::windows::fs::EvalContextExt
• shims::windows::handle::EvalContextExt
• shims::windows::sync::EvalContextExt
• shims::windows::sync::EvalContextExtPriv
• shims::windows::thread::EvalContextExt
• shims::x86::EvalContextExt
• shims::x86::aesni::EvalContextExt
• shims::x86::avx2::EvalContextExt
• shims::x86::avx::EvalContextExt
• shims::x86::bmi::EvalContextExt
• shims::x86::gfni::EvalContextExt
• shims::x86::sha::EvalContextExt
• shims::x86::sse2::EvalContextExt
• shims::x86::sse3::EvalContextExt
• shims::x86::sse41::EvalContextExt
• shims::x86::sse42::EvalContextExt
• shims::x86::sse::EvalContextExt
• shims::x86::ssse3::EvalContextExt

Macros

• callback
• diagnostics::note
• diagnostics::note_span
• enter_trace_span
• provenance_gc::no_provenance

Functions

• alloc_addresses::align_addr
• borrow_tracker::stacked_borrows::diagnostics::err_sb_ub
• borrow_tracker::stacked_borrows::diagnostics::error_cause
• borrow_tracker::stacked_borrows::diagnostics::operation_summary
• borrow_tracker::tree_borrows::diagnostics::char_repeat
• borrow_tracker::tree_borrows::perms::transition::child_read
• borrow_tracker::tree_borrows::perms::transition::child_write
• borrow_tracker::tree_borrows::perms::transition::foreign_read
• borrow_tracker::tree_borrows::perms::transition::foreign_write
• borrow_tracker::tree_borrows::perms::transition::perform_access
• create_ecx
• diagnostics::prune_stacktrace
• diagnostics::report_error
• diagnostics::report_leaks
• diagnostics::report_msg
• eval::args_to_utf16_command_string
• eval::call_main
• eval::create_ecx
• eval::eval_entry
• eval_entry
• helpers::bool_to_simd_element
• helpers::check_intrinsic_arg_count
• helpers::check_min_vararg_count
• helpers::get_local_crates
• helpers::isolation_abort_error
• helpers::iter_exported_symbols
• helpers::path_ty_layout
• helpers::resolve_path
• helpers::simd_element_to_bool
• helpers::try_resolve_did
• helpers::try_resolve_path
• helpers::windows_check_buffer_size
• intrinsics::apply_random_float_error_to_imm
• intrinsics::clamp_float_value
• intrinsics::fixed_float_value
• intrinsics::fixed_powi_float_value
• intrinsics::simd::simd_bitmask_index
• math::apply_random_float_error
• math::apply_random_float_error_to_imm
• math::apply_random_float_error_ulp
• math::sqrt
• native_lib::init_sv
• native_lib::register_retcode_sv
• provenance_gc::remove_unreachable_allocs
• provenance_gc::remove_unreachable_tags
• report_error
• shims::native_lib::imm_to_carg
• shims::native_lib::trace::child::init_sv
• shims::native_lib::trace::child::register_retcode_sv
• shims::native_lib::trace::parent::capstone_disassemble
• shims::native_lib::trace::parent::capstone_find_events
• shims::native_lib::trace::parent::get_disasm
• shims::native_lib::trace::parent::handle_segfault
• shims::native_lib::trace::parent::mempr_off
• shims::native_lib::trace::parent::mempr_on
• shims::native_lib::trace::parent::sv_loop
• shims::native_lib::trace::parent::wait_for_signal
• shims::os_str::bytes_to_os_str
• shims::time::system_time_to_duration
• shims::unix::android::foreign_items::is_dyn_sym
• shims::unix::android::thread::prctl
• shims::unix::env::alloc_env_var
• shims::unix::env::alloc_environ_block
• shims::unix::foreign_items::is_dyn_sym
• shims::unix::freebsd::foreign_items::is_dyn_sym
• shims::unix::fs::extract_sec_and_nsec
• shims::unix::fs::maybe_sync_file
• shims::unix::linux::foreign_items::is_dyn_sym
• shims::unix::linux_like::epoll::check_and_update_one_event_interest
• shims::unix::linux_like::epoll::ready_list_next
• shims::unix::linux_like::epoll::return_ready_list
• shims::unix::linux_like::eventfd::eventfd_read
• shims::unix::linux_like::eventfd::eventfd_write
• shims::unix::linux_like::sync::futex
• shims::unix::linux_like::syscall::syscall
• shims::unix::macos::foreign_items::is_dyn_sym
• shims::unix::solarish::foreign_items::is_dyn_sym
• shims::unix::sync::bytewise_equal_atomic_relaxed
• shims::unix::sync::cond_create
• shims::unix::sync::cond_get_data
• shims::unix::sync::cond_init_offset
• shims::unix::sync::condattr_clock_offset
• shims::unix::sync::condattr_get_clock_id
• shims::unix::sync::condattr_set_clock_id
• shims::unix::sync::condattr_translate_clock_id
• shims::unix::sync::mutex_create
• shims::unix::sync::mutex_get_data
• shims::unix::sync::mutex_init_offset
• shims::unix::sync::mutex_kind_from_static_initializer
• shims::unix::sync::mutexattr_get_kind
• shims::unix::sync::mutexattr_kind_offset
• shims::unix::sync::mutexattr_set_kind
• shims::unix::sync::mutexattr_translate_kind
• shims::unix::sync::rwlock_get_data
• shims::unix::sync::rwlock_init_offset
• shims::unix::unnamed_socket::anonsocket_read
• shims::unix::unnamed_socket::anonsocket_write
• shims::wasi::foreign_items::is_dyn_sym
• shims::windows::foreign_items::is_dyn_sym
• shims::windows::foreign_items::win_get_full_path_name
• shims::windows::fs::extract_windows_epoch
• shims::windows::fs::write_filetime_field
• shims::x86::aesni::aes_round
• shims::x86::bin_op_float
• shims::x86::bin_op_simd_float_all
• shims::x86::bin_op_simd_float_first
• shims::x86::carrying_add
• shims::x86::conditional_dot_product
• shims::x86::convert_float_to_int
• shims::x86::extract_first_u64
• shims::x86::gfni::affine_transform
• shims::x86::gfni::gf2p8_mul
• shims::x86::horizontal_bin_op
• shims::x86::int_abs
• shims::x86::mask_load
• shims::x86::mask_store
• shims::x86::mpsadbw
• shims::x86::pack_generic
• shims::x86::packssdw
• shims::x86::packsswb
• shims::x86::packusdw
• shims::x86::packuswb
• shims::x86::pclmulqdq
• shims::x86::pmulhrsw
• shims::x86::psign
• shims::x86::round_all
• shims::x86::round_first
• shims::x86::rounding_from_imm
• shims::x86::sha::add
• shims::x86::sha::or
• shims::x86::sha::sha256_digest_round_x2
• shims::x86::sha::sha256load
• shims::x86::sha::sha256msg1
• shims::x86::sha::sha256msg2
• shims::x86::sha::shl
• shims::x86::sha::shr
• shims::x86::sha::xor
• shims::x86::shift_simd_by_scalar
• shims::x86::shift_simd_by_simd
• shims::x86::split_simd_to_128bit_chunks
• shims::x86::sse42::compare_strings
• shims::x86::sse42::deconstruct_args
• shims::x86::sse42::default_len
• shims::x86::sse42::implicit_len
• shims::x86::test_bits_masked
• shims::x86::test_high_bits_masked
• shims::x86::unary_op_f32
• shims::x86::unary_op_ps
• shims::x86::unary_op_ss

Type Aliases

• DynMachineCallback
• DynUnblockCallback
• ImmTy
• MPlaceTy
• MemoryKind
• MiriInterpCx
• OpTy
• PlaceTy
• Pointer
• Scalar
• StackEmptyCallback
• StrictPointer
• VisitWith
• alloc_addresses::GlobalState
• borrow_tracker::GlobalState
• borrow_tracker::stacked_borrows::AllocState
• borrow_tracker::tree_borrows::AllocState
• borrow_tracker::tree_borrows::diagnostics::S
• concurrency::data_race::AllocState
• concurrency::thread::DynUnblockCallback
• concurrency::thread::StackEmptyCallback
• concurrency::weak_memory::AllocState
• data_structures::range_object_map::Position
• machine::DynMachineCallback
• machine::MemoryKind
• machine::MiriInterpCx
• provenance_gc::VisitWith
• shims::files::DynFileDescriptionRef
• shims::files::FdNum
• shims::tls::TlsKey

Statics

• shims::native_lib::trace::child::SUPERVISOR
• shims::native_lib::trace::parent::PAGE_ADDR
• shims::native_lib::trace::parent::PAGE_COUNT
• shims::native_lib::trace::parent::PAGE_SIZE
• shims::x86::gfni::TABLE

Constants

• MAX_CPUS
• MIRI_DEFAULT_ARGS
• alloc::isolated_alloc::COMPRESSION_FACTOR
• alloc_addresses::reuse_pool::MAX_POOL_SIZE
• borrow_tracker::stacked_borrows::item::PERM_MASK
• borrow_tracker::stacked_borrows::item::PERM_SHIFT
• borrow_tracker::stacked_borrows::item::PROTECTED_MASK
• borrow_tracker::stacked_borrows::item::PROTECTED_SHIFT
• borrow_tracker::stacked_borrows::item::TAG_MASK
• borrow_tracker::stacked_borrows::stack::CACHE_LEN
• borrow_tracker::tree_borrows::diagnostics::DEFAULT_FORMATTER
• clock::NANOSECONDS_PER_BASIC_BLOCK
• concurrency::cpu_affinity::MAX_CPUS
• concurrency::sync::LAZY_INIT_COOKIE
• concurrency::vector_clock::SMALL_VECTOR
• concurrency::weak_memory::STORE_BUFFER_LIMIT
• eval::MAIN_THREAD_YIELDS_AT_SHUTDOWN
• machine::ADDRS_PER_ANON_GLOBAL
• machine::SIGRTMAX
• machine::SIGRTMIN
• shims::io_error::UNIX_IO_ERROR_TABLE
• shims::io_error::WINDOWS_IO_ERROR_TABLE
• shims::native_lib::trace::CALLBACK_STACK_SIZE
• shims::native_lib::trace::parent::ARCH_WORD_SIZE
• shims::native_lib::trace::parent::WAIT_FLAGS
• shims::unix::UID
• shims::unix::android::thread::TASK_COMM_LEN
• shims::unix::linux::foreign_items::TASK_COMM_LEN
• shims::unix::linux_like::eventfd::MAX_COUNTER
• shims::unix::sync::PTHREAD_MUTEX_KIND_UNCHANGED
• shims::unix::unnamed_socket::MAX_SOCKETPAIR_BUFFER_CAPACITY
• shims::x86::sse42::USE_SIGNED
• shims::x86::sse42::USE_WORDS