sys/amd64/vmm/vmm.c

1160

vcpu_require_state(vcpu, VCPU_RUNNING);

sys/amd64/vmm/vmm.c

1238

if (state == VCPU_RUNNING) {

sys/amd64/vmm/vmm.c

1716

if (vcpu->state == VCPU_RUNNING && vcpu->hostcpu != curcpu)

sys/arm64/vmm/vmm.c

1021

vcpu_require_state(vcpu, VCPU_RUNNING);

sys/dev/vmm/vmm_mem.c

162

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

sys/dev/vmm/vmm_vm.c

120

if (vcpu->state == VCPU_RUNNING) {

sys/dev/vmm/vmm_vm.c

136

case VCPU_RUNNING:

sys/dev/vmm/vmm_vm.c

152

if (newstate == VCPU_RUNNING)

sys/dev/vmm/vmm_vm.c

292

if (vcpu->state == VCPU_RUNNING) {

sys/dev/vmm/vmm_vm.h

86

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

sys/riscv/vmm/vmm.c

703

vcpu_require_state(vcpu, VCPU_RUNNING);