Searched refs:gdb_get_cpu_index (Results 1 – 4 of 4) sorted by relevance
56 int gdb_get_cpu_index(CPUState *cpu) in gdb_get_cpu_index() function164 gdb_get_cpu_index(cpu), in gdb_vm_state_change()
134 int gdb_get_cpu_index(CPUState *cpu);
206 int gdb_get_cpu_index(CPUState *cpu) in gdb_get_cpu_index() function
244 if (gdb_get_cpu_index(cpu) == thread_id) { in find_cpu()657 gdb_get_cpu_pid(cpu), gdb_get_cpu_index(cpu)); in gdb_append_thread_id()659 g_string_append_printf(buf, "%02x", gdb_get_cpu_index(cpu)); in gdb_append_thread_id()