VOID __fastcall MiDereferenceCombineBlock(INT64 *a1, _QWORD *a2){
INT64 v2;
if( a2 )
{
if( a2[3] )
{
MiDecrementCombinedPte(0i64, (_MMPTE *)(a2 + 6));
}
else
{
v2 = *a1;
if( *(INT64 **)(*a1 + 8) != a1 )
__fastfail(3u);
*a2 = v2;
a2[1] = a1;
*(_QWORD *)(v2 + 8) = a2;
*a1 = (INT64)a2;
}
}
}