VOID __fastcall MiFreeForkMaps(INT64 a1){
void *v2;
UINT64 *v3;
__int64 v4;
v2 = *(void **)(a1 + 56);
if( v2 )
MiUnmapSinglePage(v2);
v3 = (UINT64 *)(a1 + 8);
v4 = 3i64;
do
{
if( *v3 != -1i64 )
MiFinishLastForkPageTable((UINT64)v2, *v3);
++v3;
--v4;
}
while( v4 );
}