VOID __fastcall EtwpCoverageFlushTimerCallback(INT64 a1, INT64 a2){ if( !_InterlockedCompareExchange((volatile signed __int32 *)(a2 + 12), 1, 0) ) ExQueueWorkItem((WORK_QUEUE_ITEM *)(a2 + 376), NormalWorkQueue); }