VOID __stdcall EtwDereferenceSpinLockCounters(){
INT64 v0;
KeWaitForSingleObject((UINT64)&ExBootDevicesRemovedEvent + 2432, 0, 0, 0, 0i64);
if( !--EtwpSpinLockCountersCount )
{
v0 = EtwpHostSiloState;
*(_DWORD *)(EtwpHostSiloState + 4520) &= ~0x200000u;
EtwpUpdateGlobalGroupMasks(v0, 0i64, 8ui64);
}
KeReleaseMutex((_KMUTANT *)((char *)&ExBootDevicesRemovedEvent + 2432), 0);
}