140 Shadow LoadShadow(u64 *p) {  in LoadShadow()
142   return Shadow(raw);  in LoadShadow()
159 void HandleRace(ThreadState *thr, u64 *shadow_mem, Shadow cur, Shadow old) {  in HandleRace()
170 static inline bool HappensBefore(Shadow old, ThreadState *thr) {  in HappensBefore()
177                        Shadow cur) {  in MemoryAccessImpl1()
193   Shadow old(0);  in MemoryAccessImpl1()
265   Shadow cur(a);  in ContainsSameAccessSlow()
267     Shadow old(LoadShadow(&s[i]));  in ContainsSameAccessSlow()
268     if (Shadow::Addr0AndSizeAreEqual(cur, old) &&  in ContainsSameAccessSlow()
383   Shadow cur(fast_state);  in MemoryAccess()
408                                          u64 *shadow_mem, Shadow cur) {  in MemoryAccessImpl()
493   Shadow s(thr->fast_state);  in MemoryRangeFreed()
506   Shadow s(thr->fast_state);  in MemoryRangeImitateWrite()
570     Shadow cur(fast_state);  in MemoryAccessRange()
581     Shadow cur(fast_state);  in MemoryAccessRange()
591     Shadow cur(fast_state);  in MemoryAccessRange()