HalpArtInitialize

INT64 __fastcall HalpArtInitialize(PVOID TimerData){
  struct _KPRCB *CurrentPrcb; 
  int v3; 
  __int64 v5; 
  UINT64 v6; 
  v5 = 0i64;
  CurrentPrcb = KeGetCurrentPrcb();
  LODWORD(v6) = 0;
  v3 = ~(*((_DWORD *)CurrentPrcb + 38) * *((_DWORD *)CurrentPrcb + 39) - 1);
  HalpArtAvailable(&v5, &v6);
  if( (v3 & *((_DWORD *)TimerData + 2)) == (v3 & (unsigned int)v6)
    && *(_DWORD *)TimerData == (_DWORD)v5
    && *((_DWORD *)TimerData + 1) == HIDWORD(v5) )
  {
    HalUpdateTimerCapabilities(TimerData);
  }
  else
  {
    HalpTimerAuxiliaryClockEnabled = 0;
  }
  return 0i64;
}

Referenced by: