Symbol: vmx_handle_misc_enable_msr
sys/arch/amd64/amd64/vmm_machdep.c
123
void vmx_handle_misc_enable_msr(struct vcpu *);
sys/arch/amd64/amd64/vmm_machdep.c
6057
vmx_handle_misc_enable_msr(vcpu);