Lines Matching defs:running

1287 vmx_invvpid(struct vmx *vmx, struct vmx_vcpu *vcpu, pmap_t pmap, int running)
1296 	if (!running) {
1307 	KASSERT(curthread->td_critnest > 0, ("%s: vcpu %d running outside "
1516 		 * don't allow NMI injection in this case. If we are running
3344 vmx_get_intr_shadow(struct vmx_vcpu *vcpu, int running, uint64_t *retval)
3349 	error = vmcs_getreg(vcpu->vmcs, running,
3356 vmx_modify_intr_shadow(struct vmx_vcpu *vcpu, int running, uint64_t val)
3372 	error = vmcs_getreg(vmcs, running, ident, &gi);
3375 		error = vmcs_setreg(vmcs, running, ident, gi);
3407 	int running, hostcpu;
3411 	running = vcpu_is_running(vcpu->vcpu, &hostcpu);
3412 	if (running && hostcpu != curcpu)
3413 		panic("vmx_getreg: %s%d is running", vm_name(vmx->vm),
3418 		return (vmx_get_intr_shadow(vcpu, running, retval));
3430 	return (vmcs_getreg(vcpu->vmcs, running, reg, retval));
3436 	int error, hostcpu, running, shadow;
3442 	running = vcpu_is_running(vcpu->vcpu, &hostcpu);
3443 	if (running && hostcpu != curcpu)
3444 		panic("vmx_setreg: %s%d is running", vm_name(vmx->vm),
3448 		return (vmx_modify_intr_shadow(vcpu, running, val));
3457 	error = vmcs_setreg(vcpu->vmcs, running, reg, val);
3467 			vmcs_getreg(vcpu->vmcs, running,
3473 			vmcs_setreg(vcpu->vmcs, running,
3482 			error = vmcs_setreg(vcpu->vmcs, running,
3495 			vmx_invvpid(vmx, vcpu, pmap, running);
3505 	int hostcpu, running;
3509 	running = vcpu_is_running(vcpu->vcpu, &hostcpu);
3510 	if (running && hostcpu != curcpu)
3511 		panic("vmx_getdesc: %s%d is running", vm_name(vmx->vm),
3514 	return (vmcs_getdesc(vcpu->vmcs, running, reg, desc));
3520 	int hostcpu, running;
3524 	running = vcpu_is_running(vcpu->vcpu, &hostcpu);
3525 	if (running && hostcpu != curcpu)
3526 		panic("vmx_setdesc: %s%d is running", vm_name(vmx->vm),
3529 	return (vmcs_setdesc(vcpu->vmcs, running, reg, desc));
3765 	 * modified if the vcpu is running.
3902 	    ("vmx_set_tmr: vcpu cannot be running"));
4061 	 * is running a guest and processing posted interrupts in h/w.
4066 	 *   (vm running)                (host running)
4154 		printf("%s: %s%d is running", __func__, vm_name(vmx->vm),
4256 	int error, running, hostcpu;
4261 	running = vcpu_is_running(vcpu->vcpu, &hostcpu);
4262 	if (running && hostcpu != curcpu) {
4263 		printf("%s: %s%d is running", __func__, vm_name(vmx->vm),
4268 	if (!running)
4273 	if (!running)