Symbol: VCPU_STATE_STOPPED
sys/arch/amd64/amd64/vmm_machdep.c
2959
vcpu->vc_state = VCPU_STATE_STOPPED;
sys/arch/amd64/amd64/vmm_machdep.c
3368
old = VCPU_STATE_STOPPED;
sys/arch/amd64/amd64/vmm_machdep.c
3403
vcpu->vc_state = VCPU_STATE_STOPPED;
sys/arch/amd64/amd64/vmm_machdep.c
7392
case VCPU_STATE_STOPPED: return "stopped";
sys/dev/vmm/vmm.c
803
if (vcpu->vc_state != VCPU_STATE_STOPPED)