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