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