Symbol: vmx_setmsrbw
sys/arch/amd64/amd64/vmm_machdep.c
147
void vmx_setmsrbw(struct vcpu *, uint32_t);
sys/arch/amd64/amd64/vmm_machdep.c
1924
vmx_setmsrbw(vcpu, msr);