Symbol: vmx_setmsrbr
sys/arch/amd64/amd64/vmm_machdep.c
146
void vmx_setmsrbr(struct vcpu *, uint32_t);
sys/arch/amd64/amd64/vmm_machdep.c
1923
vmx_setmsrbr(vcpu, msr);
sys/arch/amd64/amd64/vmm_machdep.c
2513
vmx_setmsrbr(vcpu, MSR_MISC_ENABLE);
sys/arch/amd64/amd64/vmm_machdep.c
2514
vmx_setmsrbr(vcpu, MSR_TSC);