MiFreeImageRetpolineContext

VOID __fastcall MiFreeImageRetpolineContext(_QWORD *a1){
  void *v2; 
  void *v3; 
  void *v4; 
  v2 = (void *)a1[1];
  if( v2 )
  {
    ExFreePoolWithTag(v2, 0);
    a1[1] = 0i64;
  }
  v3 = (void *)a1[2];
  if( v3 )
  {
    ExFreePoolWithTag(v3, 0);
    a1[2] = 0i64;
  }
  v4 = (void *)a1[3];
  if( v4 )
  {
    ExFreePoolWithTag(v4, 0);
    a1[3] = 0i64;
  }
}

Referenced by: