KdpSysWriteMsr

NTSTATUS __stdcall KdpSysWriteMsr(UINT64 Msr, UINT64 *Data){
  __writemsr(Msr, *Data);
  return 0;
}

Referenced by:

KdSystemDebugControl
KdpSendWaitContinue