ExpUpdateTimerConfigurationWorker

__int64 __fastcall ExpUpdateTimerConfigurationWorker(__int64 a1, __int64 a2){
  unsigned __int8 v3; 
  unsigned __int64 v4; 
  UINT64 *v5; 
  char *v6; 
  __int64 result; 
  int v8; 
  KeAcquireSpinLockRaiseToDpc(&ExpKernelResolutionLock, a2);
  v4 = v3;
  KeGetCurrentIrql();
  __writecr8(0xFui64);
  *(_DWORD *)(a2 + 24) = 0;
  if( *(_QWORD *)a2 )
  {
    v8 = KiSetClockInterval((unsigned int)ExpLastRequestedTime, 1, (UINT64)&ExpClockIntervalRequest);
    KiSendClockInterruptToClockOwner();
    **(_DWORD **)a2 = v8;
  }
  KxReleaseSpinLock(&ExpKernelResolutionLock);
  __writecr8(0xFui64);
  v5 = *(UINT64 **)(a2 + 8);
  if( v5 )
    *(_DWORD *)(a2 + 24) = KeSetTimeAdjustment(*v5);
  v6 = *(char **)(a2 + 16);
  if( v6 )
    KeTimeSynchronization = *v6;
  result = (unsigned int)KiIrqlFlags;
  __writecr8(v4);
  return result;
}

Referenced by: