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