vcpu_is_running
running = vcpu_is_running(vcpu->vcpu, &hostcpu);
running = vcpu_is_running(vcpu->vcpu, &hostcpu);
running = vcpu_is_running(vcpu->vcpu, &hostcpu);
running = vcpu_is_running(vcpu->vcpu, &hostcpu);
running = vcpu_is_running(vcpu->vcpu, &hostcpu);
KASSERT(!vcpu_is_running(vlapic->vcpu, NULL),
run = vcpu_is_running(vcpu->vcpu, &hostcpu);
running = vcpu_is_running(vcpu->vcpu, &hostcpu);
running = vcpu_is_running(hypctx->vcpu, &hostcpu);
running = vcpu_is_running(hypctx->vcpu, &hostcpu);
running = vcpu_is_running(hypctx->vcpu, &hostcpu);
if (vcpu_is_running(vcpu, &hostcpu))
running = vcpu_is_running(hypctx->vcpu, &hostcpu);
running = vcpu_is_running(hypctx->vcpu, &hostcpu);
running = vcpu_is_running(hypctx->vcpu, &hostcpu);