HalpTimerSwitchStallSource

VOID __fastcall HalpTimerSwitchStallSource(INT64 EarlySource){
  void *v1; 
  void *v2; 
  KDPC *v3; 
  __int64 v4; 
  __int64 v5; 
  if( (_BYTE)EarlySource )
  {
    HalpSavedStallCounter = (ULONG_PTR)HalpStallCounter;
    v3 = (KDPC *)HalpOriginalStallTimer;
  }
  else
  {
    if( HalpSavedStallCounter != HalpPerformanceCounter )
    {
      HalpTimerGetInternalData((KDPC *)HalpSavedStallCounter, (PVOID)HalpSavedStallCounter, v1, v2);
      (*(void(__fastcall **)(__int64))(v4 + 104))(v5);
    }
    v3 = (KDPC *)HalpSavedStallCounter;
    HalpSavedStallCounter = 0i64;
  }
  HalpStallCounter = v3;
}

Referenced by: