KdpSysReadMsr

NTSTATUS __stdcall KdpSysReadMsr(UINT64 Msr, UINT64 *Data){
  *Data = __readmsr(Msr);
  return 0;
}

Referenced by:

KdSystemDebugControl
KdpSendWaitContinue