sys/amd64/vmm/vmm.c

806

vcpu_require_state_locked(vcpu, VCPU_SLEEPING);

sys/amd64/vmm/vmm.c

812

vcpu_require_state_locked(vcpu, VCPU_FROZEN);

sys/amd64/vmm/vmm.c

984

vcpu_require_state_locked(vcpu, VCPU_SLEEPING);

sys/amd64/vmm/vmm.c

986

vcpu_require_state_locked(vcpu, VCPU_FROZEN);

sys/arm64/vmm/vmm.c

894

vcpu_require_state_locked(vcpu, VCPU_SLEEPING);

sys/arm64/vmm/vmm.c

900

vcpu_require_state_locked(vcpu, VCPU_FROZEN);

sys/arm64/vmm/vmm.c

969

vcpu_require_state_locked(vcpu, VCPU_SLEEPING);

sys/arm64/vmm/vmm.c

971

vcpu_require_state_locked(vcpu, VCPU_FROZEN);

sys/riscv/vmm/vmm.c

560

vcpu_require_state_locked(vcpu, VCPU_SLEEPING);

sys/riscv/vmm/vmm.c

566

vcpu_require_state_locked(vcpu, VCPU_FROZEN);

sys/riscv/vmm/vmm.c

646

vcpu_require_state_locked(vcpu, VCPU_SLEEPING);

sys/riscv/vmm/vmm.c

648

vcpu_require_state_locked(vcpu, VCPU_FROZEN);