Searched defs:ThreadClockSet (Results 1 – 2 of 2) sorted by relevance
| /third_party/rust/rust/src/tools/miri/src/concurrency/ |
| D | data_race.rs | 105 pub(super) struct ThreadClockSet { struct
131 impl ThreadClockSet { argument
156 fn join_with(&mut self, other: &ThreadClockSet) { in join_with()
278 thread_clocks: &mut ThreadClockSet, in load_acquire()
302 thread_clocks: &mut ThreadClockSet, in load_relaxed()
316 thread_clocks: &ThreadClockSet, in store_release()
329 thread_clocks: &ThreadClockSet, in store_relaxed()
347 thread_clocks: &ThreadClockSet, in rmw_release()
360 thread_clocks: &ThreadClockSet, in rmw_relaxed()
373 thread_clocks: &ThreadClockSet, in atomic_read_detect()
[all …]
|
| D | weak_memory.rs | 332 clocks: &ThreadClockSet, in fetch_store()
462 clocks: &ThreadClockSet, in load_impl()
|