Searched refs:record_error_Race (Results 1 – 3 of 3) sorted by relevance
54 void HG_(record_error_Race) ( Thread* thr,
469 void HG_(record_error_Race) ( Thread* thr, in HG_() argument
5089 HG_(record_error_Race)( acc_thr->hgthread, acc_addr, in record_race_info()