HalpTimerSwitchToNormalClock

VOID __stdcall HalpTimerSwitchToNormalClock(INT64 a1, UINT64 a2, UINT64 a3, INT64 a4){
  char v4; 
  unsigned __int8 CurrentIrql; 
  struct _KPRCB *CurrentPrcb; 
  __int64 v7; 
  __int64 v8; 
  UINT64 ActualInterval; 

  ActualInterval = 0i64;
  v4 = a1;
  CurrentIrql = KeGetCurrentIrql();
  __writecr8(0xFui64);
  CurrentPrcb = KeGetCurrentPrcb();
  HalpTimerGetInternalData((_KDPC *)HalpAlwaysOnTimer, HalpAlwaysOnTimer, (PVOID)a3, (PVOID)a4);
  (*(void(__fastcall **)(__int64))(v7 + 136))(v8);
  CurrentPrcb->PendingTickFlags &= ~2u;
  if( v4 && HalpTimerClockStatePeriodic )
    HalpTimerClockArm(HalClockTimerModePeriodic, (unsigned int)KiLastRequestedTimeIncrement, &ActualInterval);
  __writecr8(CurrentIrql);
}

Referenced by: