Searched refs:orig_tid (Results 1 – 3 of 3) sorted by relevance
87 Int t, orig_tid = CLG_(current_tid); in CLG_() local94 CLG_(switch_thread)(orig_tid); in CLG_()
1603 Int orig_tid = CLG_(current_tid); in print_bbccs() local1607 CLG_(switch_thread)(orig_tid); in print_bbccs()
1454 Int orig_tid = CLG_(current_tid); in dump_state_togdb() local1482 VG_(gdb_printf)("current-tid: %d\n", orig_tid); in dump_state_togdb()