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

1507

while (vcpu->state != VCPU_IDLE) {

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

1514

KASSERT(vcpu->state != VCPU_IDLE, ("invalid transition from "

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

1533

case VCPU_IDLE:

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

1555

if (newstate == VCPU_IDLE) {

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

2267

case VCPU_IDLE:

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

358

case VCPU_IDLE:

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

410

vcpu->state = VCPU_IDLE;

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

358

VERIFY0(vcpu_set_state(sc->vmm_vm, vcpu, VCPU_IDLE, false));