vcpu_get_state
enum vcpu_state vcpu_get_state(struct vm *vm, int vcpu, int *hostcpu);
return (vcpu_get_state(vm, vcpu, hostcpu) == VCPU_RUNNING);
state = vcpu_get_state(vm, vcpuid, NULL);
state = vcpu_get_state(vm, vcpuid, &hostcpu);
VERIFY3U(vcpu_get_state(sc->vmm_vm, vcpu, NULL), ==, VCPU_FROZEN);