Searched defs:DataRaceState (Results 1 – 1 of 1) sorted by relevance
184 pub fn memory_accessed(&self, range: AllocRange, global: &DataRaceState) { in memory_accessed()273 global: &DataRaceState, in read_from_last_store()286 global: &DataRaceState, in buffered_read()317 global: &DataRaceState, in buffered_write()