sys/amd64/vmm/vmm.c

1020

vcpu_unlock(vcpu);

sys/amd64/vmm/vmm.c

1720

vcpu_unlock(vcpu);

sys/amd64/vmm/vmm.c

815

vcpu_unlock(vcpu);

sys/amd64/vmm/vmm.c

831

vcpu_unlock(vcpu);

sys/amd64/vmm/vmm.c

988

vcpu_unlock(vcpu);

sys/amd64/vmm/vmm.c

994

vcpu_unlock(vcpu);

sys/amd64/vmm/vmm.c

999

vcpu_unlock(vcpu);

sys/arm64/vmm/vmm.c

902

vcpu_unlock(vcpu);

sys/arm64/vmm/vmm.c

973

vcpu_unlock(vcpu);

sys/arm64/vmm/vmm.c

978

vcpu_unlock(vcpu);

sys/dev/vmm/vmm_vm.c

209

vcpu_unlock(vcpu);

sys/dev/vmm/vmm_vm.c

213

vcpu_unlock(vcpu);

sys/dev/vmm/vmm_vm.c

232

vcpu_unlock(vcpu);

sys/dev/vmm/vmm_vm.c

239

vcpu_unlock(vcpu);

sys/dev/vmm/vmm_vm.c

260

vcpu_unlock(vcpu);

sys/dev/vmm/vmm_vm.c

274

vcpu_unlock(vcpu);

sys/dev/vmm/vmm_vm.c

317

vcpu_unlock(vcpu);

sys/riscv/vmm/vmm.c

568

vcpu_unlock(vcpu);

sys/riscv/vmm/vmm.c

650

vcpu_unlock(vcpu);

sys/riscv/vmm/vmm.c

655

vcpu_unlock(vcpu);