report_stop
report_stop(false);
report_stop(true);
report_stop(true);
_gdb_cpu_suspend(struct vcpu *vcpu, bool report_stop)
if (report_stop && CPU_CMP(&vcpus_waiting, &vcpus_suspended) == 0)