Searched refs:HappensBefore (Results 1 – 2 of 2) sorted by relevance
40 if (HappensBefore(old, thr)) {59 if (HappensBefore(old, thr))
575 static inline bool HappensBefore(Shadow old, ThreadState *thr) { in HappensBefore() function