1546 		    ep != HEAD(vertex);  in flk_add_edge()
1566 	while (ep != HEAD(from_lock)) {  in flk_add_edge()
1786 	ASSERT(FIRST_ADJ(lock) == HEAD(lock));  in flk_relation()
1794 	while (ep != HEAD(lock)) {  in flk_relation()
1823 		while (ep != HEAD(lock)) {  in flk_relation()
1971 		for (ep = FIRST_ADJ(vertex); ep != HEAD(vertex);  in flk_cancel_sleeping_lock()
2030 	for (ep = FIRST_IN(request); ep != HEAD(request); ep = NEXT_IN(ep)) {  in flk_cancel_sleeping_lock()
2043 	while (ep != HEAD(request)) {  in flk_cancel_sleeping_lock()
2140 	} while (ep != HEAD(lock));  in flk_wakeup()
2231 		    vertex->l_sedge == HEAD(vertex)) {  in flk_recompute_dependencies()
2236 			if (vertex->l_sedge != HEAD(vertex) && barrier_found) {  in flk_recompute_dependencies()
2276 		for (ep = FIRST_ADJ(ver); ep != HEAD(ver);  in flk_color_reachables()
2309 		for (ep = FIRST_IN(vertex); ep != HEAD(vertex);  in flk_update_barriers()
2354 		for (ep = FIRST_IN(vertex); ep != HEAD(vertex);  in flk_find_barriers()
3106 	while (ep != HEAD(lock)) {  in flk_check_deadlock()
3130 	while (ep != HEAD(lock)) {  in flk_check_deadlock()
3190 	while (ep != HEAD(lock)) {  in flk_check_deadlock()
3218 	while (ep != HEAD(lock)) {  in flk_check_deadlock()
4369 		while (ep != HEAD(lock)) {  in check_active_locks()
4496 		while (ep != HEAD(lock1)) {  in check_sleeping_locks()
4514 	ASSERT(ep != HEAD(lock1));  in level_two_path()
4515 	while (ep != HEAD(lock1)) {  in level_two_path()
4525 		for (ep = FIRST_ADJ(vertex); ep != HEAD(vertex);  in level_two_path()
4579 	while (ep != HEAD(lock1)) {  in level_one_path()