sys/amd64/vmm/vmm.c

231

vcpu->state = VCPU_IDLE;

sys/arm64/vmm/vmm.c

199

vcpu->state = VCPU_IDLE;

sys/dev/vmm/vmm_dev.c

143

vcpu_set_state(vcpu, VCPU_IDLE, false);

sys/dev/vmm/vmm_vm.c

113

while (vcpu->state != VCPU_IDLE)

sys/dev/vmm/vmm_vm.c

116

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

sys/dev/vmm/vmm_vm.c

135

case VCPU_IDLE:

sys/dev/vmm/vmm_vm.c

157

if (newstate == VCPU_IDLE)

sys/dev/vmm/vmm_vm.c

177

KASSERT(newstate != VCPU_IDLE,

sys/dev/vmm/vmm_vm.c

199

if (vcpu->state == VCPU_IDLE) {

sys/dev/vmm/vmm_vm.c

229

while (vcpu->state != VCPU_IDLE) {

sys/dev/vmm/vmm_vm.c

243

(void)vcpu_set_state(vcpu, VCPU_IDLE, false);

sys/dev/vmm/vmm_vm.c

92

KASSERT(vcpu->state != VCPU_IDLE, ("vcpu already idle"));

sys/riscv/vmm/vmm.c

113

vcpu->state = VCPU_IDLE;