INT64 __stdcall EtwDereferenceSpinLockCounters(){
INT64 v0;
INT64 result;
KeWaitForSingleObject(&EtwpCrimsonMaskMutex, Executive, 0, 0, 0i64);
if( !--EtwpSpinLockCountersCount )
{
v0 = EtwpHostSiloState;
*(_DWORD *)(EtwpHostSiloState + 4520) &= ~0x200000u;
EtwpUpdateGlobalGroupMasks(v0, 0i64, 8ui64);
}
LODWORD(result) = KeReleaseMutex(&EtwpCrimsonMaskMutex, 0);
return result;
}