Searched refs:get_dump_counter (Results 1 – 3 of 3) sorted by relevance
692 Int CLG_(get_dump_counter)(void);
53 Int CLG_(get_dump_counter)(void) in CLG_() argument
1545 VG_(gdb_printf)("part: %d\n", CLG_(get_dump_counter)()); in dump_state_togdb()