Lines Matching refs:Shadow

499 Shadow LoadShadow(u64 *p) {  in LoadShadow()
501   return Shadow(raw);  in LoadShadow()
517                               Shadow cur, Shadow old) {  in HandleRace()
528 static inline bool HappensBefore(Shadow old, ThreadState *thr) {  in HappensBefore()
535     u64 *shadow_mem, Shadow cur) {  in MemoryAccessImpl1()
554   Shadow old(0);  in MemoryAccessImpl1()
629   Shadow cur(a);  in ContainsSameAccessSlow()
631     Shadow old(LoadShadow(&s[i]));  in ContainsSameAccessSlow()
632     if (Shadow::Addr0AndSizeAreEqual(cur, old) &&  in ContainsSameAccessSlow()
751   Shadow cur(fast_state);  in MemoryAccess()
780     u64 *shadow_mem, Shadow cur) {  in MemoryAccessImpl()
873   Shadow s(thr->fast_state);  in MemoryRangeFreed()
886   Shadow s(thr->fast_state);  in MemoryRangeImitateWrite()