sys/amd64/vmm/vmm.c

806

vcpu_require_state_locked(vcpu, VCPU_SLEEPING);

sys/amd64/vmm/vmm.c

984

vcpu_require_state_locked(vcpu, VCPU_SLEEPING);

sys/arm64/vmm/vmm.c

894

vcpu_require_state_locked(vcpu, VCPU_SLEEPING);

sys/arm64/vmm/vmm.c

969

vcpu_require_state_locked(vcpu, VCPU_SLEEPING);

sys/dev/vmm/vmm_vm.c

137

case VCPU_SLEEPING:

sys/dev/vmm/vmm_vm.c

307

if (vcpu->state == VCPU_SLEEPING)

sys/riscv/vmm/vmm.c

560

vcpu_require_state_locked(vcpu, VCPU_SLEEPING);

sys/riscv/vmm/vmm.c

646

vcpu_require_state_locked(vcpu, VCPU_SLEEPING);