HalpTimerClockStop

INT64 __stdcall HalpTimerClockStop(){
  void *v0; 
  void *v1; 
  struct _KPRCB *CurrentPrcb; 
  __int64 v3; 
  __int64 v4; 
  INT64 result; 
  __int64 v6; 
  __int64 v7; 
  CurrentPrcb = KeGetCurrentPrcb();
  if( (*((_BYTE *)CurrentPrcb + 34) & 2) != 0 )
  {
    HalpTimerGetInternalData((KDPC *)HalpAlwaysOnTimer, (PVOID)HalpAlwaysOnTimer, v0, v1);
    result = (*(__int64(__fastcall **)(__int64))(v6 + 136))(v7);
    *((_BYTE *)CurrentPrcb + 34) &= ~2u;
  }
  else
  {
    HalpTimerGetInternalData((KDPC *)HalpClockTimer, (PVOID)HalpClockTimer, v0, v1);
    return(*(__int64(__fastcall **)(__int64))(v3 + 136))(v4);
  }
  return result;
}

Referenced by: