Symbol: vmx_handle_wrmsr
sys/arch/amd64/amd64/vmm_machdep.c
111
int vmx_handle_wrmsr(struct vcpu *);
sys/arch/amd64/amd64/vmm_machdep.c
4703
ret = vmx_handle_wrmsr(vcpu);