VOID *__fastcall PiSwInstanceInfoFree(__int64 a1){
void *v2;
VOID *result;
void *v4;
v2 = *(void **)a1;
if( v2 )
{
result = ExFreePoolWithTag(v2, 0x57706E50u);
*(_QWORD *)a1 = 0i64;
}
v4 = *(void **)(a1 + 8);
if( v4 )
{
result = ExFreePoolWithTag(v4, 0x57706E50u);
*(_QWORD *)(a1 + 8) = 0i64;
}
return result;
}