Searched refs:vcpu_is_running (Results 1 – 5 of 5) sorted by relevance
/freebsd/sys/arm64/vmm/ |
H A D | vmm_arm64.c | 1269 running = vcpu_is_running(hypctx->vcpu, &hostcpu); in vmmops_getreg() 1289 running = vcpu_is_running(hypctx->vcpu, &hostcpu); in vmmops_setreg() 1308 running = vcpu_is_running(hypctx->vcpu, &hostcpu); in vmmops_exception()
|
/freebsd/sys/arm64/include/ |
H A D | vmm.h | 237 vcpu_is_running(struct vcpu *vcpu, int *hostcpu) in vcpu_is_running() function
|
/freebsd/sys/amd64/vmm/intel/ |
H A D | vmx.c | 3402 running = vcpu_is_running(vcpu->vcpu, &hostcpu); in vmx_getreg() 3433 running = vcpu_is_running(vcpu->vcpu, &hostcpu); in vmx_setreg() 3500 running = vcpu_is_running(vcpu->vcpu, &hostcpu); in vmx_getdesc() 3515 running = vcpu_is_running(vcpu->vcpu, &hostcpu); in vmx_setdesc() 3892 KASSERT(!vcpu_is_running(vlapic->vcpu, NULL), in vmx_set_tmr() 4143 run = vcpu_is_running(vcpu->vcpu, &hostcpu); in vmx_vcpu_snapshot() 4252 running = vcpu_is_running(vcpu->vcpu, &hostcpu); in vmx_restore_tsc()
|
/freebsd/sys/amd64/include/ |
H A D | vmm.h | 382 vcpu_is_running(struct vcpu *vcpu, int *hostcpu) in vcpu_is_running() function
|
/freebsd/sys/amd64/vmm/amd/ |
H A D | svm.c | 2600 running = vcpu_is_running(vcpu->vcpu, &hostcpu); in svm_vcpu_snapshot()
|