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