Searched refs:print_bbccs_of_thread (Results 1 – 1 of 1) sorted by relevance
1372 static void print_bbccs_of_thread(thread_info* ti) in print_bbccs_of_thread() function1465 print_bbccs_of_thread( CLG_(get_current_thread)() ); in print_bbccs()1469 print_bbccs_of_thread( CLG_(get_current_thread)() ); in print_bbccs()1471 CLG_(forall_threads)(print_bbccs_of_thread); in print_bbccs()