Searched refs:cs_addCount (Results 1 – 1 of 1) sorted by relevance
1035 static void cs_addCount(thread_info* ti) in cs_addCount() function1108 cs_addCount(0); in prepare_dump()1110 CLG_(forall_threads)(cs_addCount); in prepare_dump()