Lines Matching refs:Shadow

524 Shadow LoadShadow(u64 *p) {  in LoadShadow()
526   return Shadow(raw);  in LoadShadow()
542                               Shadow cur, Shadow old) {  in HandleRace()
553 static inline bool HappensBefore(Shadow old, ThreadState *thr) {  in HappensBefore()
560     u64 *shadow_mem, Shadow cur) {  in MemoryAccessImpl1()
579   Shadow old(0);  in MemoryAccessImpl1()
637   Shadow cur(a);  in ContainsSameAccessSlow()
639     Shadow old(LoadShadow(&s[i]));  in ContainsSameAccessSlow()
640     if (Shadow::Addr0AndSizeAreEqual(cur, old) &&  in ContainsSameAccessSlow()
762   Shadow cur(fast_state);  in MemoryAccess()
791     u64 *shadow_mem, Shadow cur) {  in MemoryAccessImpl()
884   Shadow s(thr->fast_state);  in MemoryRangeFreed()
897   Shadow s(thr->fast_state);  in MemoryRangeImitateWrite()