Lines Matching refs:Shadow
524 Shadow LoadShadow(u64 *p) {
526 return Shadow(raw);
542 Shadow cur, Shadow old) {
553 static inline bool HappensBefore(Shadow old, ThreadState *thr) {
560 u64 *shadow_mem, Shadow cur) {
579 Shadow old(0);
637 Shadow cur(a);
639 Shadow old(LoadShadow(&s[i]));
640 if (Shadow::Addr0AndSizeAreEqual(cur, old) &&
762 Shadow cur(fast_state);
791 u64 *shadow_mem, Shadow cur) {
884 Shadow s(thr->fast_state);
897 Shadow s(thr->fast_state);
913 // Shadow stack maintenance can be replaced with