vmm_decode_perf_status_value
void vmm_decode_perf_status_value(uint64_t);
case MSR_PERF_STATUS: vmm_decode_perf_status_value(val); break;