void __fastcall WmipFreeTraceDeviceList(PVOID P, unsigned int a2){
INT64 *v3;
__int64 v4;
if( a2 )
{
v3 = (INT64 *)P;
v4 = a2;
do
{
WmipUnreferenceRegEntry(*v3);
v3 += 2;
--v4;
}
while( v4 );
}
ExFreePoolWithTag(P, 0x70696D57u);
}