Searched refs:gdb_id_from_wait (Results 1 – 1 of 1) sorted by relevance
1171 unsigned int gdb_id_from_wait; in prepare_resume_reply() local1176 gdb_id_from_wait = thread_to_gdb_id (current_inferior); in prepare_resume_reply()1185 VG_(sprintf) (buf, "thread:%x;", gdb_id_from_wait); in prepare_resume_reply()