Searched refs:UWordV_dup (Results 1 – 1 of 1) sorted by relevance
4011 static UWord* UWordV_dup(UWord* words, Word words_size) in UWordV_dup() function4041 preds_words = UWordV_dup(preds_words, preds_size); in laog__handle_one_lock_deletion()4044 succs_words = UWordV_dup(succs_words, succs_size); in laog__handle_one_lock_deletion()