Searched refs:vcpu_is_running (Results 1 – 2 of 2) sorted by relevance
| /NextBSD/sys/amd64/vmm/intel/ |
| HD | vmx.c | 2867 running = vcpu_is_running(vmx->vm, vcpu, &hostcpu); in vmx_getreg()
2888 running = vcpu_is_running(vmx->vm, vcpu, &hostcpu); in vmx_setreg()
2949 running = vcpu_is_running(vmx->vm, vcpu, &hostcpu); in vmx_getdesc()
2962 running = vcpu_is_running(vmx->vm, vcpu, &hostcpu); in vmx_setdesc()
3219 KASSERT(!vcpu_is_running(vlapic->vm, vlapic->vcpuid, NULL), in vmx_set_tmr()
|
| /NextBSD/sys/amd64/include/ |
| HD | vmm.h | 298 vcpu_is_running(struct vm *vm, int vcpu, int *hostcpu) in vcpu_is_running() function
|