Searched refs:lock_unique_cmp (Results 1 – 1 of 1) sorted by relevance
104 static Word lock_unique_cmp ( UWord lk1W, UWord lk2W ) in lock_unique_cmp() function167 HG_(free), lock_unique_cmp ); in mk_LockP_from_LockN()