Searched refs:stepping_vcpu (Results 1 – 1 of 1) sorted by relevance
79 static int stepping_vcpu, stopped_vcpu; variable654 while (CPU_ISSET(vcpu, &vcpus_suspended) && vcpu != stepping_vcpu) in _gdb_cpu_suspend()695 if (vcpu == stepping_vcpu) { in gdb_cpu_mtrap()696 stepping_vcpu = -1; in gdb_cpu_mtrap()729 stepping_vcpu = vcpu; in gdb_step_vcpu()1236 stepping_vcpu = -1; in new_connection()1300 stepping_vcpu = -1; in init_gdb()