Symbol: vcpu_deinit_vmx
sys/arch/amd64/amd64/vmm_machdep.c
2770
vcpu_deinit_vmx(vcpu);
sys/arch/amd64/amd64/vmm_machdep.c
3068
vcpu_deinit_vmx(vcpu);
sys/arch/amd64/amd64/vmm_machdep.c
93
void vcpu_deinit_vmx(struct vcpu *);