HalpTimerSwitchStallSource

VOID __stdcall HalpTimerSwitchStallSource(INT64 EarlySource){
  void *v1; 
  void *v2; 
  _KDPC *v3; 
  __int64 v4; 
  __int64 v5; 

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

Referenced by: