vmm/intel/vmx.c

1160 vmx_invvpid(struct vmx *vmx, int vcpu, pmap_t pmap, int running)
1169 	if (!running) {
1180 	KASSERT(curthread->td_critnest > 0, ("%s: vcpu %d running outside "
1382 		 * don't allow NMI injection in this case. If we are running
3121 vmx_get_intr_shadow(struct vmx *vmx, int vcpu, int running, uint64_t *retval)
3126 	error = vmcs_getreg(&vmx->vmcs[vcpu], running,
3133 vmx_modify_intr_shadow(struct vmx *vmx, int vcpu, int running, uint64_t val)
3149 	error = vmcs_getreg(vmcs, running, ident, &gi);
3152 		error = vmcs_setreg(vmcs, running, ident, gi);
3184 	int running, hostcpu;
3187 	running = vcpu_is_running(vmx->vm, vcpu, &hostcpu);
3188 	if (running && hostcpu != curcpu)
3189 		panic("vmx_getreg: %s%d is running", vm_name(vmx->vm), vcpu);
3192 		return (vmx_get_intr_shadow(vmx, vcpu, running, retval));
3197 	return (vmcs_getreg(&vmx->vmcs[vcpu], running, reg, retval));
3203 	int error, hostcpu, running, shadow;
3208 	running = vcpu_is_running(vmx->vm, vcpu, &hostcpu);
3209 	if (running && hostcpu != curcpu)
3210 		panic("vmx_setreg: %s%d is running", vm_name(vmx->vm), vcpu);
3213 		return (vmx_modify_intr_shadow(vmx, vcpu, running, val));
3222 	error = vmcs_setreg(&vmx->vmcs[vcpu], running, reg, val);
3232 			vmcs_getreg(&vmx->vmcs[vcpu], running,
3238 			vmcs_setreg(&vmx->vmcs[vcpu], running,
3247 			error = vmcs_setreg(&vmx->vmcs[vcpu], running,
3260 			vmx_invvpid(vmx, vcpu, pmap, running);
3270 	int hostcpu, running;
3273 	running = vcpu_is_running(vmx->vm, vcpu, &hostcpu);
3274 	if (running && hostcpu != curcpu)
3275 		panic("vmx_getdesc: %s%d is running", vm_name(vmx->vm), vcpu);
3277 	return (vmcs_getdesc(&vmx->vmcs[vcpu], running, reg, desc));
3283 	int hostcpu, running;
3286 	running = vcpu_is_running(vmx->vm, vcpu, &hostcpu);
3287 	if (running && hostcpu != curcpu)
3288 		panic("vmx_setdesc: %s%d is running", vm_name(vmx->vm), vcpu);
3290 	return (vmcs_setdesc(&vmx->vmcs[vcpu], running, reg, desc));
3470 	 * modified if the vcpu is running.
3615 	    ("vmx_set_tmr: vcpu cannot be running"));
3772 	 * is running a guest and processing posted interrupts in h/w.
3777 	 *   (vm running)                (host running)