HalpTimerSwitchToNormalClock

VOID __fastcall HalpTimerSwitchToNormalClock(INT64 Resume){
  void *v1; 
  void *v2; 
  char v3; 
  unsigned __int8 CurrentIrql; 
  struct _KPRCB *CurrentPrcb; 
  __int64 v6; 
  __int64 v7; 
  UINT64 ActualInterval; 
  ActualInterval = 0i64;
  v3 = Resume;
  CurrentIrql = KeGetCurrentIrql();
  __writecr8(0xFui64);
  CurrentPrcb = KeGetCurrentPrcb();
  HalpTimerGetInternalData((KDPC *)HalpAlwaysOnTimer, (PVOID)HalpAlwaysOnTimer, v1, v2);
  (*(void(__fastcall **)(__int64))(v6 + 136))(v7);
  *((_BYTE *)CurrentPrcb + 34) &= ~2u;
  if( v3 && HalpTimerClockStatePeriodic )
    HalpTimerClockArm(HalClockTimerModePeriodic, (unsigned int)KiLastRequestedTimeIncrement, &ActualInterval);
  __writecr8(CurrentIrql);
}

Referenced by: