Lines Matching full:orig_tid
1411 Int orig_tid = CLG_(current_tid);1439 VG_(gdb_printf)("current-tid: %d\n", orig_tid);
