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