usr/src/uts/intel/io/vmm/sys/vmm_kernel.h

270

return (vcpu_get_state(vm, vcpu, hostcpu) == VCPU_RUNNING);

usr/src/uts/intel/io/vmm/vmm.c

1518

if (vcpu->state == VCPU_RUNNING) {

usr/src/uts/intel/io/vmm/vmm.c

1534

case VCPU_RUNNING:

usr/src/uts/intel/io/vmm/vmm.c

1550

if (newstate == VCPU_RUNNING)

usr/src/uts/intel/io/vmm/vmm.c

2564

vcpu_require_state(vm, vcpuid, VCPU_RUNNING);

usr/src/uts/intel/io/vmm/vmm.c

2667

if (state == VCPU_RUNNING) {

usr/src/uts/intel/io/vmm/vmm.c

362

case VCPU_RUNNING:

usr/src/uts/intel/io/vmm/vmm.c

3622

if (vcpu->state == VCPU_RUNNING) {

usr/src/uts/intel/io/vmm/vmm.c

863

KASSERT(state == VCPU_RUNNING && hostcpu == curcpu,