Searched refs:vcpu_get_state (Results 1 – 3 of 3) sorted by relevance
| /f-stack/freebsd/amd64/include/ |
| H A D | vmm.h | 355 enum vcpu_state vcpu_get_state(struct vm *vm, int vcpu, int *hostcpu);
360 return (vcpu_get_state(vm, vcpu, hostcpu) == VCPU_RUNNING); in vcpu_is_running()
|
| /f-stack/freebsd/amd64/vmm/ |
| H A D | vmm.c | 652 state = vcpu_get_state(vm, vcpuid, &hostcpu); in vm_mem_allocated()
1000 state = vcpu_get_state(vm, i, NULL); in vm_gpa_hold()
1818 state = vcpu_get_state(vm, vcpuid, NULL); in vm_restart_instruction()
2343 vcpu_get_state(struct vm *vm, int vcpuid, int *hostcpu) in vcpu_get_state() function
|
| H A D | vmm_dev.c | 130 state = vcpu_get_state(sc->vm, vcpu, NULL); in vcpu_unlock_one()
|