Symbol: VCPU_STATE_RUNNING
sys/arch/amd64/amd64/vmm_machdep.c
3369
next = VCPU_STATE_RUNNING;
sys/arch/amd64/amd64/vmm_machdep.c
7393
case VCPU_STATE_RUNNING: return "running";