HalpTimerRestoreProcessorCounter

VOID __stdcall HalpTimerRestoreProcessorCounter(INT64 InitializeOnly){
  __int64 v1; 
  unsigned __int64 v2; 

  LODWORD(v1) = KeGetPcr()->Prcb.Number;
  v2 = *(_QWORD *)(HalpTimerSavedProcessorCounter + 8 * v1);
  if( qword_140C4A148 )
  {
    if( !(_DWORD)v1 && HalpTimerIsReferenceTimeSaved )
    {
      if( qword_140C4A308 )
        qword_140C4A308((unsigned int)HalpTimerSavedSequenceNumber, HalpTimerSavedReferenceTime, v2);
    }
  }
  else
  {
    __writemsr(0x10u, v2);
  }
}

Referenced by: