Symbol: vcpu_get_state
sys/amd64/vmm/vmm.c
1237
state = vcpu_get_state(vcpu, NULL);
sys/dev/vmm/vmm_dev.c
137
state = vcpu_get_state(vcpu, NULL);
sys/dev/vmm/vmm_mem.c
161
state = vcpu_get_state(vcpu, &hostcpu);
sys/dev/vmm/vmm_mem.c
468
int state = vcpu_get_state(vcpu, NULL);
sys/dev/vmm/vmm_vm.h
60
enum vcpu_state vcpu_get_state(struct vcpu *vcpu, int *hostcpu);
sys/dev/vmm/vmm_vm.h
86
return (vcpu_get_state(vcpu, hostcpu) == VCPU_RUNNING);