Searched refs:gdb_get_cpu_index (Results 1 – 4 of 4) sorted by relevance
55 int gdb_get_cpu_index(CPUState *cpu) in gdb_get_cpu_index() function163 gdb_get_cpu_index(cpu), in gdb_vm_state_change()
136 int gdb_get_cpu_index(CPUState *cpu);
205 int gdb_get_cpu_index(CPUState *cpu) in gdb_get_cpu_index() function
243 if (gdb_get_cpu_index(cpu) == thread_id) { in find_cpu()643 gdb_get_cpu_pid(cpu), gdb_get_cpu_index(cpu)); in gdb_append_thread_id()645 g_string_append_printf(buf, "%02x", gdb_get_cpu_index(cpu)); in gdb_append_thread_id()