Searched defs:AtomicReadOrd (Results 1 – 3 of 3) sorted by relevance
| /third_party/rust/rust/src/tools/miri/src/shims/intrinsics/ |
| D | atomic.rs | 27 fn read_ord<'tcx>(ord: &str) -> InterpResult<'tcx, AtomicReadOrd> { in emulate_atomic_intrinsic() argument
128 atomic: AtomicReadOrd, in atomic_load()
245 fail: AtomicReadOrd, in atomic_compare_exchange_impl()
274 fail: AtomicReadOrd, in atomic_compare_exchange()
284 fail: AtomicReadOrd, in atomic_compare_exchange_weak()
|
| /third_party/rust/rust/src/tools/miri/src/concurrency/ |
| D | weak_memory.rs | 536 atomic: AtomicReadOrd, in buffered_atomic_read()
620 atomic: AtomicReadOrd, in perform_read_on_buffered_latest()
|
| D | data_race.rs | 78 pub enum AtomicReadOrd { enum
466 atomic: AtomicReadOrd, in read_scalar_atomic()
594 fail: AtomicReadOrd, in atomic_compare_exchange_scalar()
1054 atomic: AtomicReadOrd, in validate_atomic_load()
|