CPU_CMP
if (report_stop && CPU_CMP(&vcpus_waiting, &vcpus_suspended) == 0)
if (CPU_CMP(&vcpus_waiting, &vcpus_suspended) == 0)
if (CPU_CMP(&vm->halted_cpus, &vm->active_cpus) == 0) {