Searched refs:print_bbccs_of_thread (Results 1 – 1 of 1) sorted by relevance
1509 static void print_bbccs_of_thread(thread_info* ti) in print_bbccs_of_thread() function1606 print_bbccs_of_thread( CLG_(get_current_thread)() ); in print_bbccs()1610 print_bbccs_of_thread( CLG_(get_current_thread)() ); in print_bbccs()1612 CLG_(forall_threads)(print_bbccs_of_thread); in print_bbccs()