VOID __fastcall MiAddMdlPageToTradeBlock(INT64 a1, INT64 a2, INT64 a3){
__int64 v3;
v3 = *(_QWORD *)(a1 + 64);
if( v3 )
{
*(_QWORD *)(v3 + 8 * ((unsigned __int64)*(unsigned int *)(v3 + 40) >> 12) + 48) = a2;
*(_DWORD *)(v3 + 40) += 4096;
if( (_DWORD)a3 || MiPfnZeroingNeeded((INT64)MmGetPfnDb() + 48 * a2, *(unsigned int *)(a1 + 32)) )
*(_QWORD *)(v3 + 24) = 1i64;
}
}