Searched refs:vcpu_get_state (Results 1 – 3 of 3) sorted by relevance
| /freebsd-10-stable/sys/amd64/include/ |
| D | vmm.h | 295 enum vcpu_state vcpu_get_state(struct vm *vm, int vcpu, int *hostcpu);
300 return (vcpu_get_state(vm, vcpu, hostcpu) == VCPU_RUNNING); in vcpu_is_running()
|
| /freebsd-10-stable/sys/amd64/vmm/ |
| D | vmm.c | 571 state = vcpu_get_state(vm, vcpuid, &hostcpu); in vm_mem_allocated()
918 state = vcpu_get_state(vm, i, NULL); in vm_gpa_hold()
1712 state = vcpu_get_state(vm, vcpuid, NULL); in vm_restart_instruction()
2236 vcpu_get_state(struct vm *vm, int vcpuid, int *hostcpu) in vcpu_get_state() function
|
| D | vmm_dev.c | 109 state = vcpu_get_state(sc->vm, vcpu, NULL); in vcpu_unlock_one()
|