ReadAMDMsr

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

Referenced by:

KiDisableCacheErrataSource