VOID __stdcall TtmiDevicesRundown(INT64 a1){
INT64 v1;
__int64 *i;
if( a1 )
{
v1 = a1 + 96;
for( i = *(__int64 **)(a1 + 96); i != (__int64 *)v1; i = (__int64 *)*i )
{
if( (i[75] & 8) == 0 )
TtmiLogDeviceRundown();
}
}
}