Symbol: vcpu_lock_destroy
sys/amd64/vmm/vmm.c
216
vcpu_lock_destroy(vcpu);
sys/arm64/vmm/vmm.c
184
vcpu_lock_destroy(vcpu);
sys/riscv/vmm/vmm.c
98
vcpu_lock_destroy(vcpu);