PiSwInstanceInfoFree

VOID __fastcall PiSwInstanceInfoFree(INT64 a1){
  void *v2; 
  void *v3; 
  v2 = *(void **)a1;
  if( v2 )
  {
    ExFreePoolWithTag(v2, 0x57706E50u);
    *(_QWORD *)a1 = 0i64;
  }
  v3 = *(void **)(a1 + 8);
  if( v3 )
  {
    ExFreePoolWithTag(v3, 0x57706E50u);
    *(_QWORD *)(a1 + 8) = 0i64;
  }
}

Referenced by: