ReadAMDMsr

UINT64 __fastcall ReadAMDMsr(UINT64 a1){
  return __readmsr(a1);
}

Referenced by:

KiDisableCacheErrataSource