INT64 __stdcall MiFreeRetpolineRelocationInformation(PVOID P){
void *v2;
void *v3;
INT64 result;
v2 = (void *)*((_QWORD *)P + 2);
if( v2 )
ExFreePoolWithTag(v2, 0);
v3 = (void *)*((_QWORD *)P + 6);
if( v3 )
ExFreePoolWithTag(v3, 0);
ExFreePoolWithTag(P, 0);
return result;
}