vcpu_is_running
if (vcpu_is_running(vmx->vm, vcpu, &hostcpu)) {
vcpu_is_running(vmx->vm, vcpu, NULL));