VOID __stdcall MiMakeHyperPteDemandZero(UINT64 *a1, INT64 a2, INT64 a3){
__int64 v5;
int v6;
if( *(_DWORD *)a3 )
{
v5 = MiSwizzleInvalidPte(128i64);
LOBYTE(v6) = MiPteInShadowRange((UINT64)a1);
if( v6 && (KeGetCurrentThread()->ApcState.Process->Flags3 & 0x1000) != 0 && (v5 & 1) != 0 )
v5 |= 0x8000000000000000ui64;
*a1 = v5;
}
++*(_QWORD *)(a3 + 8);
}