sys/amd64/vmm/vmm.c

1162

vcpu_require_state(vcpu, VCPU_FROZEN);

sys/amd64/vmm/vmm.c

1248

} else if (state == VCPU_FROZEN) {

sys/amd64/vmm/vmm.c

812

vcpu_require_state_locked(vcpu, VCPU_FROZEN);

sys/amd64/vmm/vmm.c

986

vcpu_require_state_locked(vcpu, VCPU_FROZEN);

sys/arm64/vmm/vmm.c

1023

vcpu_require_state(vcpu, VCPU_FROZEN);

sys/arm64/vmm/vmm.c

900

vcpu_require_state_locked(vcpu, VCPU_FROZEN);

sys/arm64/vmm/vmm.c

971

vcpu_require_state_locked(vcpu, VCPU_FROZEN);

sys/dev/vmm/vmm_dev.c

129

return (vcpu_set_state(vcpu, VCPU_FROZEN, true));

sys/dev/vmm/vmm_dev.c

138

if (state != VCPU_FROZEN) {

sys/dev/vmm/vmm_dev.c

156

error = vcpu_set_state_all(sc->vm, VCPU_FROZEN);

sys/dev/vmm/vmm_mem.c

469

KASSERT(state == VCPU_FROZEN, ("%s: invalid vcpu state %d",

sys/dev/vmm/vmm_vm.c

138

error = (newstate != VCPU_FROZEN);

sys/dev/vmm/vmm_vm.c

140

case VCPU_FROZEN:

sys/dev/vmm/vmm_vm.c

141

error = (newstate == VCPU_FROZEN);

sys/dev/vmm/vmm_vm.c

200

(void)vcpu_set_state_locked(vcpu, VCPU_FROZEN,

sys/riscv/vmm/vmm.c

566

vcpu_require_state_locked(vcpu, VCPU_FROZEN);

sys/riscv/vmm/vmm.c

648

vcpu_require_state_locked(vcpu, VCPU_FROZEN);

sys/riscv/vmm/vmm.c

705

vcpu_require_state(vcpu, VCPU_FROZEN);