Symbol: vmm_decode_msr_value