ReadAMDMsr
UINT64 __fastcall ReadAMDMsr(UINT64 a1){ return __readmsr(a1); }
Referenced by:
KiDisableCacheErrataSource