VOID __stdcall MiFreeImageLoadConfig(INT64 a1){
void *v2;
void *v3;
v2 = *(void **)(a1 + 16);
if( v2 )
{
ExFreePoolWithTag(v2, 0x4C617652u);
*(_QWORD *)(a1 + 16) = 0i64;
}
v3 = *(void **)(a1 + 24);
if( v3 )
{
MiFreeRetpolineRelocationInformation(v3);
*(_QWORD *)(a1 + 24) = 0i64;
}
}