Searched refs:laog__del_edge (Results 1 – 1 of 1) sorted by relevance
3714 static void laog__del_edge ( Lock* src, Lock* dst ) { in laog__del_edge() function4047 laog__del_edge( (Lock*)preds_words[i], lk ); in laog__handle_one_lock_deletion()4050 laog__del_edge( lk, (Lock*)succs_words[j] ); in laog__handle_one_lock_deletion()