VOID __stdcall MiReturnReservedEnclavePages(INT64 a1, INT64 a2){
INT64 v3;
__int64 v4;
__int64 v5;
if( a2 )
{
while( 1 )
{
v3 = *(_QWORD *)(a1 + 96);
if( !v3 )
break;
LODWORD(v4) = MiGetPfnLink(v3);
*(_QWORD *)(a1 + 96) = v4;
MiReturnEnclavePage((v5 - (__int64)MmGetPfnDb()) / 48);
}
}
*(_QWORD *)(a1 + 104) = 0i64;
}