Symbol: vcpu_deinit_svm
sys/arch/amd64/amd64/vmm_machdep.c
2943
vcpu_deinit_svm(vcpu);
sys/arch/amd64/amd64/vmm_machdep.c
3070
vcpu_deinit_svm(vcpu);
sys/arch/amd64/amd64/vmm_machdep.c
92
void vcpu_deinit_svm(struct vcpu *);