Symbol: vcpu_init_vmx
sys/arch/amd64/amd64/vmm_machdep.c
2970
ret = vcpu_init_vmx(vcpu);
sys/arch/amd64/amd64/vmm_machdep.c
87
int vcpu_init_vmx(struct vcpu *);