WriteAMDMsr

INT64 __fastcall WriteAMDMsr(UINT64 a1, UINT64 a2){
  INT64 result; 
  result = (unsigned int)a2;
  __writemsr(a1, a2);
  return result;
}

Referenced by:

KiDisableCacheErrataSource