Searched refs:vcpu_is_running (Results 1 – 3 of 3) sorted by relevance
| /f-stack/freebsd/amd64/vmm/intel/ |
| H A D | vmx.c | 3344 running = vcpu_is_running(vmx->vm, vcpu, &hostcpu); in vmx_getreg()
3365 running = vcpu_is_running(vmx->vm, vcpu, &hostcpu); in vmx_setreg()
3430 running = vcpu_is_running(vmx->vm, vcpu, &hostcpu); in vmx_getdesc()
3443 running = vcpu_is_running(vmx->vm, vcpu, &hostcpu); in vmx_setdesc()
3816 KASSERT(!vcpu_is_running(vlapic->vm, vlapic->vcpuid, NULL), in vmx_set_tmr()
4105 run = vcpu_is_running(vmx->vm, vcpu, &hostcpu); in vmx_vmcx_snapshot()
4177 running = vcpu_is_running(vmx->vm, vcpu, &hostcpu); in vmx_restore_tsc()
|
| /f-stack/freebsd/amd64/include/ |
| H A D | vmm.h | 358 vcpu_is_running(struct vm *vm, int vcpu, int *hostcpu) in vcpu_is_running() function
|
| /f-stack/freebsd/amd64/vmm/amd/ |
| H A D | svm.c | 2567 running = vcpu_is_running(sc->vm, vcpu, &hostcpu); in svm_vmcx_snapshot()
|