Searched refs:orig_tid (Results 1 – 3 of 3) sorted by relevance
90 Int t, orig_tid = CLG_(current_tid); in CLG_() local97 CLG_(switch_thread)(orig_tid); in CLG_()
1462 Int orig_tid = CLG_(current_tid); in print_bbccs() local1466 CLG_(switch_thread)(orig_tid); in print_bbccs()
1527 Int orig_tid = CLG_(current_tid); in dump_state_togdb() local1555 VG_(gdb_printf)("current-tid: %d\n", orig_tid); in dump_state_togdb()