WriteAMDMsr

NTSTATUS __stdcall WriteAMDMsr(UINT64 a1, UINT64 a2){
  NTSTATUS result; 

  result = a2;
  __writemsr(a1, a2);
  return result;
}

Referenced by:

KiDisableCacheErrataSource