Searched refs:vcpu_get_state (Results 1 – 3 of 3) sorted by relevance
| /freebsd-11-stable/sys/amd64/include/ |
| HD | vmm.h | 311 enum vcpu_state vcpu_get_state(struct vm *vm, int vcpu, int *hostcpu);
316 return (vcpu_get_state(vm, vcpu, hostcpu) == VCPU_RUNNING); in vcpu_is_running()
|
| /freebsd-11-stable/sys/amd64/vmm/ |
| HD | vmm.c | 619 state = vcpu_get_state(vm, vcpuid, &hostcpu); in vm_mem_allocated()
966 state = vcpu_get_state(vm, i, NULL); in vm_gpa_hold()
1761 state = vcpu_get_state(vm, vcpuid, NULL); in vm_restart_instruction()
2286 vcpu_get_state(struct vm *vm, int vcpuid, int *hostcpu) in vcpu_get_state() function
|
| HD | vmm_dev.c | 109 state = vcpu_get_state(sc->vm, vcpu, NULL); in vcpu_unlock_one()
|