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