KdpSysReadMsr

VOID __fastcall KdpSysReadMsr(UINT64 Msr, UINT64 *Data){
  *Data = __readmsr(Msr);
}