Symbol: vmm_decode_msr_value
sys/arch/amd64/amd64/vmm_machdep.c
171
void vmm_decode_msr_value(uint64_t, uint64_t);
sys/arch/amd64/amd64/vmm_machdep.c
8406
vmm_decode_msr_value(msr_store[i].vms_index,