VOID __stdcall WmipFreeTraceDeviceList(_WMIP_TRACE_DEVICE *DeviceList, UINT64 DeviceCount){
_REGENTRY **v3;
__int64 v4;
if( (_DWORD)DeviceCount )
{
v3 = (_REGENTRY **)DeviceList;
v4 = (unsigned int)DeviceCount;
do
{
WmipUnreferenceRegEntry(*v3);
v3 += 2;
--v4;
}
while( v4 );
}
ExFreePoolWithTag(DeviceList, 0x70696D57u);
}