Searched refs:mk_LockP_from_LockN (Results 1 – 1 of 1) sorted by relevance
138 static Lock* mk_LockP_from_LockN ( Lock* lkn, in mk_LockP_from_LockN() function228 lockPs[i] = mk_LockP_from_LockN( (Lock*)lockNs[i], in enumerate_WordSet_into_LockP_vector()540 = mk_LockP_from_LockN(lk, False/*!allowed_to_be_invalid*/); in HG_()560 = mk_LockP_from_LockN(lk, False/*!allowed_to_be_invalid*/); in HG_()599 = mk_LockP_from_LockN(shouldbe_earlier_lk, in HG_()603 = mk_LockP_from_LockN(shouldbe_later_lk, in HG_()