VOID __stdcall ObpDestroyTypeArray(_OBJECT_TYPE_ARRAY *ObjectArray){
__int64 i;
__int64 v3;
if( ObjectArray )
{
for( i = 0i64; (unsigned int)i < *ObjectArray; i = (unsigned int)(i + 1) )
{
v3 = *(_QWORD *)&ObjectArray[2 * i + 2];
if( v3 )
HalPutDmaAdapter((PADAPTER_OBJECT)(v3 + 80));
}
ExFreePoolWithTag(ObjectArray, 0x7241624Fu);
}
}