Lines Matching full:thread_info
1145 static void cs_addCount(thread_info* ti)
1173 static void cs_addPtr(thread_info* ti)
1448 thread_info* ti = CLG_(get_current_thread)();
1458 thread_info** thr = CLG_(get_threads)();
1509 static void print_bbccs_of_thread(thread_info* ti)
