Symbol: svm_setmsrbw
sys/arch/amd64/amd64/vmm_machdep.c
144
void svm_setmsrbw(struct vcpu *, uint32_t);
sys/arch/amd64/amd64/vmm_machdep.c
1844
svm_setmsrbw(vcpu, msr);